Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Vienna Development Method Specification Language

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

©2018 Martin Webb