Tool specification with GTSL.
Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany.
IEEE Computer Society Press
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.
|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
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
Archive Staff Only