| slovo | definícia |
vienna development method
(foldoc) | Vienna Development Method
Vienna Definition Method
(VDM) A program development
method based on formal specification using the {Vienna
Development Method Specification Language} (VDM-SL).
[Details?]
[Is there such a thing as "Vienna Definition Method"?]
(2000-11-02)
|
| | podobné slovo | definícia |
vienna development method
(foldoc) | Vienna Development Method
Vienna Definition Method
(VDM) A program development
method based on formal specification using the {Vienna
Development Method Specification Language} (VDM-SL).
[Details?]
[Is there such a thing as "Vienna Definition Method"?]
(2000-11-02)
|
vienna development method specification language
(foldoc) | Vienna Development Method Specification Language
Meta-IV
VDM-SL
(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)
|
|