Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Tool specification with GTSL
  • Publication Type:
  • Authors:
    Emmerich W
  • Publisher:
    IEEE Computer Society Press
  • Publication date:
  • Pagination:
    26, 35
  • Book title:
    Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany
  • Notes:
    Imported via OAI, 7:29:01 5th Jul 2005
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.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by