A reference model for requirements and specifications
Gunter, C.A.
Gunter, E.L.
Jackson, M.
Zave, P.
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA;
This paper appears in: Software, IEEE
Publication Date: May/Jun 2000
Volume: 17,
Issue: 3
On page(s): 37-43
ISSN: 0740-7459
References Cited: 13
CODEN: IESOEG
INSPEC Accession Number: 6600583
Digital Object Identifier: 10.1109/52.896248
Current Version Published: 2002-08-06
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
