VDM-SL

Vienna Development Method Specification Language. (Also known

as Meta-IV.) Model-oriented specification language, upon

which the {Vienna Development Method} is based. {ISO} draft

Apr 1993. Version: BSI/VDM.

{(ftp://gateway.dec.com/pub/vdmsl_standard)}. E-mail:

.

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