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. (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
Additional information:Imported via OAI, 7:29:01 5th Jul 2005
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record