Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


Vienna Development Method Specification Language

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


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017