This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
8th International Workshop on Software Specification and Design (IWSSD'96)
Tool Specification with GTSL
Paderborn, GERMANY
March 22-March 23
ISBN: 0-8186-7361-3
Wolfgang Emmerich, City University London Northampton Square, London EC1V 0HB, United Kingdom
The definition of software development methods encompasses the definition of syntax and static semantics 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 syntax and static semantics of documents and thus implement methods. Method integration must determine inter-document consistency constraints between documents produced in the various tasks. Tools must, therefore, be integrated to implement the required method integration and check or even preserve inter-document consistency. The focus of this paper is on the specification of such integrated tools and outlines the main concepts of the object-oriented tool specification language GTSL.
Index Terms:
method definition, method integration, software development environments, tool specification languages, tool integration, object-orientation
Citation:
Wolfgang Emmerich, "Tool Specification with GTSL," iwssd, pp.26, 8th International Workshop on Software Specification and Design (IWSSD'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.