You are here: irt.org | FOLDOC | 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)
Nearby terms: Vienna Definition Language « Vienna Definition Method « Vienna Development Method « Vienna Development Method Specification Language » Vienna Fortran » Vietnamese » viewer
FOLDOC, Topics, 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, ?, ALL