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
![[thumbnail of 2.6_iwssd8.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
2.6_iwssd8.pdf Download (227kB) |
Abstract
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 |
Archive Staff Only
 |
View Item |
