DocumentCode
2218650
Title
A reference model for requirements and specifications - extended abstract
Author
Gunter, Carl A. ; Gunter, Elsa L. ; Jackson, Michael ; Zave, Pamela
Author_Institution
Univ. of Pennsylvania, PA, USA
fYear
2000
fDate
2000
Firstpage
189
Abstract
Summary form only given. The article proposes a simple abstraction of the artifacts and activities of software development (C.A. Gunter et al., 2000). Its purpose is to serve as a framework for discussion and comparison in software engineering, just as the ISO 7-Layer Reference Model has served in the networking area. The reference model is a more complete and formal treatment of some earlier work, presented in higher-order logic (M. Jackson and P. Zave, 1995; P. Zave and M. Jackson, 1997)
Keywords
formal specification; software standards; systems analysis; ISO 7-Layer Reference Model; formal treatment; higher-order logic; reference model; simple abstraction; software development; software engineering; specifications; Control systems; Documentation; IEEE Computer Society Press; ISO standards; Laboratories; Logic; Pressing; Programming profession; Software engineering; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 2000. Proceedings. 4th International Conference on
Conference_Location
Schaumburg, IL
ISSN
1097-0592
Print_ISBN
0-7695-0565-1
Type
conf
DOI
10.1109/ICRE.2000.855609
Filename
855609
Link To Document