vdm-sl

from The Free On-line Dictionary of Computing (8 July 2008)
Vienna Development Method Specification Language
Meta-IV
VDM-SL

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

   (2000-11-02)