The Community for Technology Leaders
Requirements Engineering, IEEE International Conference on (2000)
Schaumburg, Illinois
June 19, 2000 to June 23, 2000
ISSN: 1097-0592
ISBN: 0-7695-0565-1
pp: 189
Pamela Zave , AT&T Laboratories
Carl A. Gunter , University of Pennsylvania
Michael Jackson , AT&T Laboratories
Elsa L. Gunter , Bell Labs
ABSTRACT
We define a reference model for applying formal methods to the development of user requirements and their reduction to behavioral specification of a system. The approach is characterized by its focus on the shared phenomena that define the interface between the system and the environment in which it will operate and on how the parts of this interface are controlled. This paper extends our previous work on this model by representing it in higher-order logic and determining some of its key mathematical ramifications. In particular, we introduce a new form of refinement, which is pivotal to defining the desired soundness and consistency properties precisely.
INDEX TERMS
software engineering methodology, refinement, formal methods, requirements, specifications
CITATION
Pamela Zave, Carl A. Gunter, Michael Jackson, Elsa L. Gunter, "A Reference Model for Requirements and Specifications", Requirements Engineering, IEEE International Conference on, vol. 00, no. , pp. 189, 2000, doi:10.1109/ICRE.2000.855609
50 ms
(Ver 3.3 (11022016))