UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Tool specification with GTSL

Emmerich, W; (1996) Tool specification with GTSL. In: Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany. (pp. 26-35). IEEE Computer Society Press

Full text not available from this repository.


The denition of software development methods en-compasses the denition of syntax and static seman-tics of formal languages. These languages determinedocuments to be produced during the application ofa method. Developers demand language-based toolsthat provide document production support, check syn-tax and static semantics of documents and thus im-plement methods. Method integration must determineinter-document consistency constraints between docu-ments produced in the various tasks. Tools must, there-fore, be integrated to implement the required methodintegration and check or even preserve inter-documentconsistency. The focus of this paper is on the specica-tion of such integrated tools and outlines the main con-cepts of the object-oriented tool specication languageGTSL.

Type: Book chapter
Title: Tool specification with GTSL
DOI: 10.1109/IWSSD.1996.501144
Additional information: Imported via OAI, 7:29:01 5th Jul 2005
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/37107
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item