资料来源 : Free On-Line Dictionary of Computing

Vienna Development Method Specification Language
     
         (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)