Vienna Development Method Specification Language
Also found in: Acronyms.
Vienna Development Method Specification Language
(programming, specification)(VDM-SL, Meta-IV) A
model-oriented specification language, upon which the
Vienna Development Method is based. An ISO draft was
released in April 1993.
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].
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 is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)