Main Page | See live article | Alphabetical index 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. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.