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.

Författare

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

0302-9743 (ISSN)

Vol. 2306 233-248

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/3-540-45923-5_16

ISBN

3-540-43353-8