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].

< Previous Terms	Terms Containing Vienna Development Method Specification Language	Next Terms >
video terminal videotex Vienna Definition Language Vienna Definition Method Vienna Development Method	Meta-IV VDM-SL Vienna Development Method	Vienna Fortran Vietnamese viewer ViewPoints Views