VDM-SL -->
Vienna Development Method Specification Language		computing dictionary

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

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

Acronym: VDM-SL

(01 May 2000)

Vienna Definition Language, Vienna Definition Method, Vienna Development Method < Prev | Next > Vienna Fortran, vienna paste, Vierra, J

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums