slovodefiní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é slovodefinícia
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)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4