vienna development method specification language

1 definition found

vienna development method specification language - Free On-line Dictionary of Computing (26 May 2007) :

  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)