vienna development method specification language

Computing Dictionary

Vienna Development Method Specification Language definition

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)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature