Vienna Development Method Specification Language

(programming, specification)(VDM-SL, Meta-IV) Amodel-oriented specification language, upon which theVienna Development Method is based. An ISO draft wasreleased 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-H1989].

单词	vienna development method specification language
释义	Vienna Development Method Specification Language Vienna Development Method Specification Language (programming, specification)(VDM-SL, Meta-IV) Amodel-oriented specification language, upon which theVienna Development Method is based. An ISO draft wasreleased 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-H1989]. AcronymsSeeVDM-SL
随便看	vasomotor absence vasomotor acroparesthesia vasomotor activity vasomotor angina vasomotor ataxia vasomotor c vasomotor center vasomotor centers vasomotor centre vasomotor epilepsy vasomotor fibers vasomotor imbalance vasomotorly vasomotor nerve vasomotor paralysis vasomotor reflex vasomotor rhinitis vasomotor spasm vasomotor system vasomotor tumentia vasoneuropathy vasoneurosis vaso-occlusive crisis vasoocclusive crisis vaso-occlusive pulmonary hypertension