A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Specifications are (preferably) executable
1992
Software Engineering Journal
The validation of software specifications with respect to explicit and implicit user requirements is extremely difficult. To ease the validation task and to give users immediate feedback of the behavior of the future software it was suggested to make specifications executable. However, Hayes and Jones [Hayes, Jones 89] argue that executable specifications should be avoided because executability can restrict the expressiveness of specification languages, and can adversely affect implementations.
doi:10.1049/sej.1992.0033
fatcat:iexl6trqj5eftgejmaah44syce