Title :
A reference model for requirements and specifications
Author :
Gunter, Carl A. ; Gunter, Elsa L. ; Jackson, Michael ; Zave, Pamela
Author_Institution :
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
Abstract :
The authors define a reference model for applying formal methods to the development of user requirements and their reduction to a behavioral system specification. The approach focuses on the shared phenomena that define the interface between the system and the environment
Keywords :
formal specification; behavioral system specification; formal methods; reference model; requirements engineering; requirements specification; shared phenomena; system-environment interface; user requirements; Computer architecture; Computer industry; Control system synthesis; Control systems; Documentation; Laboratories; Programming profession; Protocols; Software standards; Vocabulary;
Journal_Title :
Software, IEEE