A structured approach to requirements specification for software-based systems using operational procedures

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.<<ETX>>