OnlineWoerterBuecher.de
Internes

Lexikon

Vienna Development Method Specification Language


(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. . ["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)

In addition suitable contents:
[ 2 ] [ = ] [ af ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ aw ] [ B ] [ b ] [ ba ] [ base ] [ BS ] [ BSI ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ co ] [ com ] [ D ] [ de ] [ dec ] [ dm ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ G ] [ ga ] [ gate ] [ gateway ] [ ge ] [ gr ] [ gu ] [ Guide ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ IS ] [ is ] [ ISO ] [ it ] [ J ] [ jo ] [ la ] [ language ] [ Lex ] [ M ] [ ma ] [ man ] [ Meta-IV ] [ mm ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ ms ] [ N ] [ na ] [ NC ] [ nc ] [ NCS ] [ ne ] [ ng ] [ nn ] [ O ] [ om ] [ op ] [ pe ] [ ph ] [ pm ] [ pr ] [ program ] [ programming ] [ query ] [ rc ] [ re ] [ release ] [ ro ] [ S ] [ se ] [ SI ] [ si ] [ SL ] [ sl ] [ SO ] [ spec ] [ specification ] [ st ] [ standard ] [ T ] [ th ] [ tm ] [ tp ] [ tw ] [ ua ] [ uid ] [ up ] [ V ] [ VDM ] [ VDM-SL ] [ ve ] [ Vienna Development Method ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (3391 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.202 Seconds, with 17 Database-Queries
Zurück zur Startseite