DocumentCode
1872579
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
fYear
1994
fDate
18-22 Apr 1994
Firstpage
202
Lastpage
205
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location
Colorado Springs, CO
Print_ISBN
0-8186-5480-5
Type
conf
DOI
10.1109/ICRE.1994.292384
Filename
292384
Link To Document