DocumentCode
2396866
Title
A structured approach to requirements specification for software-based systems using operational procedures
Author
Sherry, Lance
Author_Institution
Honeywell Inc., Phoenix, AZ, USA
fYear
1994
fDate
30 Oct-3 Nov 1994
Firstpage
64
Lastpage
69
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 1994. 13th DASC., AIAA/IEEE
Conference_Location
Phoenix, AZ
Print_ISBN
0-7803-2425-0
Type
conf
DOI
10.1109/DASC.1994.369502
Filename
369502
Link To Document