An Authoring Tool for informal and Formal Requirements Specifications
Paper i proceeding, 2002

We describe foundations and design principles of a tool that supports authoring of informal and formal software requirements specifications simultaneously and from a single source. The tool is an attempt to bridge the gap between completely informal requirements specifications (as found in practice) and formal ones (as needed in formal methods). The user is supported by an interactive syntax-directed editor, parsers and linearizers. As a formal specification language we realize the Object Constraint Language, a substandard of the UML, on the informal side a fragment of English. The implementation is based on the Grammatical Framework, a generic tool that combines linguistic and logical methods.


Reiner Hähnle

Chalmers, Institutionen för datavetenskap

Kristofer Johannisson

Chalmers, Institutionen för datavetenskap

Aarne Ranta

Göteborgs universitet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 2306 233-248
3-540-43353-8 (ISBN)


Data- och informationsvetenskap





Mer information