Towards a practical specification language
Anne-Marie G. Discepolo · 1981
Recognition of the value of formal specifications in the design and verification of large software systems is becoming more widespread. Specification languages themselves, however, are difficult to develop in part because of the inherent conflict between the goals of clarity and formalism required by these languages. This paper discusses the role of specification languages, examples of specifications in two currently implemented languages, AFFIRM and SPECIAL, and makes some suggestions towards a more practical specification language.