CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

An Authoring Tool for informal and Formal Requirements Specifications

Reiner Hähnle (Institutionen för datavetenskap) ; Kristofer Johannisson (Institutionen för datavetenskap) ; Aarne Ranta
Lecture Notes in Computer Science. 5th International Conference on Fundamental Approaches to Software Engineering, Grenoble, 8-12 April 2002 (0302-9743). Vol. 2306 (2002), p. 233-248.
[Konferensbidrag, refereegranskat]

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.

Denna post skapades 2013-02-12. Senast ändrad 2014-04-14.
CPL Pubid: 173463


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för datavetenskap (2002-2004)
Institutionen för data- och informationsteknik, datavetenskap (GU) (GU)


Data- och informationsvetenskap

Chalmers infrastruktur