Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Vienna_Development_Method> ?p ?o }
- Vienna_Development_Method wikiPageWikiLinkText "Vienna Definition Language".
- Vienna_Development_Method wikiPageWikiLinkText "Vienna Development Method".
- Vienna_Development_Method hasPhotoCollection Vienna_Development_Method.
- Vienna_Development_Method wikiPageUsesTemplate Template:Cite_book.
- Vienna_Development_Method wikiPageUsesTemplate Template:FOLDOC.
- Vienna_Development_Method wikiPageUsesTemplate Template:Reflist.
- Vienna_Development_Method wikiPageUsesTemplate Template:Use_dmy_dates.
- Vienna_Development_Method subject Category:Formal_methods.
- Vienna_Development_Method subject Category:Formal_specification_languages.
- Vienna_Development_Method hypernym Methods.
- Vienna_Development_Method type Area.
- Vienna_Development_Method type Language.
- Vienna_Development_Method type Software.
- Vienna_Development_Method type Area.
- Vienna_Development_Method type Language.
- Vienna_Development_Method type Method.
- Vienna_Development_Method comment "The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems.".
- Vienna_Development_Method label "Vienna Development Method".
- Vienna_Development_Method sameAs Vienna_Definition_Language.
- Vienna_Development_Method sameAs Vienna_Development_Method.
- Vienna_Development_Method sameAs Vienna_Development_Method.
- Vienna_Development_Method sameAs VDM.
- Vienna_Development_Method sameAs m.011jsl.
- Vienna_Development_Method sameAs Віденський_метод_розробки.
- Vienna_Development_Method sameAs Q1478998.
- Vienna_Development_Method sameAs Q1478998.
- Vienna_Development_Method wasDerivedFrom Vienna_Development_Method?oldid=674066297.
- Vienna_Development_Method isPrimaryTopicOf Vienna_Development_Method.