|
|||||
|
|
A reference model for requirements and specifications |
|
| Authors: | Gunter C.A. Gunter E.L. Jackson M. Zave P. |
| Affiliation: | Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA; |
| 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: | |