Search the Kids Internet
Encyclopedia > VDM specification language
Article Content
VDM specification language
VDM Specification Language (VDM-SL, Meta-IV) is a model-oriented specification language, upon which the Vienna Development Method is based. An ISO draft was released in April 1993.
This article was originally based on material from FOLDOC, used with permission. Update as needed.
Compare: Z specification language, which is the main alternative to VDM-SL.
Version: BSI/VDM.
ftp://gateway.dec.com/pub/vdmsl_standard.
["The Vienna Development Method: The Meta-Language", D. Bjorner et al eds, LNCS 61, Springer 1978].
["The VDM-SL Reference Guide", J. Dawes, Pitman 1991].
["Systematic Software Development Using VDM", C.B. Jones, P-H 1989].
This article was originally based on material from FOLDOC, used with permission. Update as needed.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|