Word:

Vienna Development Method Specification Language

(programming, specification)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].
Browse
videotape
videotex
Vidette
ViDL
Vidonia
Vidua
Viduage
Vidual
Viduation
Viduity
Vie
Vielle
Vienna
Vienna Definition Language
Vienna Definition Method
Vienna Development Method
-- Vienna Development Method Specification Language --
Vienna Fortran
Vienna paste
Vienna roll
Vienna sausage
Viennese
Vientiane
Vieques
Vierkleur
Viet Nam
Vietnam
Vietnam War
Vietnamese
Vietnamese monetary unit
View
view angle
view as
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home