(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)