Title :
A structured approach to requirements specification for software-based systems using operational procedures
Author_Institution :
Honeywell Inc., Phoenix, AZ, USA
fDate :
30 Oct-3 Nov 1994
Abstract :
This paper describes a specification notation and specification methodology that use the operational procedure construct to formulate a complete description of a system. The specification that is generated captures the operation of the system, manages the evolution of the operation of the system, and facilitates the rapid formulation and adaptation of implementation models for software-based systems
Keywords :
formal specification; conceptualisation; hierarchical organisation; operational procedures; requirements specification; simplification; software-based systems; specification methodology; specification notation; structured approach; Adaptation model; Appropriate technology; Cognitive science; Costs; Glass; Visualization;
Conference_Titel :
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-2425-0
DOI :
10.1109/DASC.1994.369502
