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
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;
Conference_Titel :
Requirements Engineering, 2000. Proceedings. 4th International Conference on
Conference_Location :
Schaumburg, IL
Print_ISBN :
0-7695-0565-1
DOI :
10.1109/ICRE.2000.855609
