Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of VIENNA DEVELOPMENT METHOD SPECIFICATION LANGUAGE

 
Computing Dictionary
 
 Definition: 

(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.

.

["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].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY