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.

.

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

(2000-11-02)