OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

Vienna Development Method Specification Language

Specification> (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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.0884 Seconds, with 17 Database-Queries