DocumentCode :
1427699
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
Volume :
17
Issue :
3
fYear :
2000
Firstpage :
37
Lastpage :
43
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;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/52.896248
Filename :
896248
Link To Document :
بازگشت