Title :
Validating and evolving software requirements in a systematic framework
Author :
Ozcan, Mehmet Bulent ; Siddiqi, Jawed I A
Author_Institution :
Comput. Res. Center, Sheffield Hallam Univ., UK
Abstract :
The concern is with validation and evolution of software requirements based on the notion of executable specifications. A fundamental premise of this approach is that it is possible to use executable specification descriptions and conventional implementation descriptions interchangeably. This allows a prototype system to be transformed into a production quality system by incrementally replacing specifications with implementations which conform to them
Keywords :
formal specification; program verification; software prototyping; conventional implementation descriptions; evolution; executable specifications; production quality system; software requirements; specification descriptions; systematic framework; validation; Application software; Formal specifications; Production systems; Programming; Prototypes; Real time systems; Software engineering; Software performance; Software prototyping; Software systems;
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
DOI :
10.1109/ICRE.1994.292384
