Validating and evolving software requirements in a systematic framework
MEHMET BÜLENT ÖZCAN, J. I. A. Siddiqi · 2002
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.>