Standards for Non-Executable Specification Languages
Open Access
- 1 December 1992
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 35 (6) , 567-573
- https://doi.org/10.1093/comjnl/35.6.567
Abstract
This paper discusses the impact of the standardisation of (non-executable) specification languages; standardisation can increase the interest in, and acceptance of, a specification language, and it stimulates the development of tool support for such a language. It is argued that a specification language should preferably be formally defined. The ISO/VDM-SL standard (under construction) is used as an illustration. The fact that many specification languages are non-executable causes problems in the areas of conformance and compliance. These problems are touched upon.Keywords
This publication has 0 references indexed in Scilit: