| Vienna Development Method Specification Language (VDM-SL, Meta-IV) A model-oriented , upon which the is based. An 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) |