Tool Specification with GTSL

  title={Tool Specification with GTSL},
  author={Wolfgang Emmerich},
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… CONTINUE READING