Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

A reference model for requirements and specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Gunter, C.A. ; Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA ; Gunter, E.L. ; Jackson, M. ; Zave, P.

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

Published in:

Software, IEEE  (Volume:17 ,  Issue: 3 )