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. pp. 26-35). IEEE Computer Society Press Green open access

[thumbnail of 2.6_iwssd8.pdf]

Download (227kB)


The de�nition of software development methods en- compasses the de�nition of syntax and static seman- tics of formal languages. These languages determine documents to be produced during the application of a method. Developers demand language-based tools that provide document production support, check syn- tax and static semantics of documents and thus im- plement methods. Method integration must determine inter-document consistency constraints between docu- ments produced in the various tasks. Tools must, there- fore, be integrated to implement the required method integration and check or even preserve inter-document consistency. The focus of this paper is on the speci�ca- tion of such integrated tools and outlines the main con- cepts of the object-oriented tool speci�cation language GTSL.

Type: Proceedings paper
Title: Tool specification with GTSL
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/IWSSD.1996.501144
Publisher version: http://dx.doi.org/10.1109/IWSSD.1996.501144
Language: English
Additional information: ©1996 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
URI: https://discovery.ucl.ac.uk/id/eprint/755
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