Main Page | See live article | Alphabetical index

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.

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.