Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Vienna_Development_Method> ?p ?o. }
Showing items 1 to 46 of
46
with 100 items per page.
- Vienna_Development_Method abstract "The Vienna Development Method (VDM) is one of the longest-established formal method 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. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science.".
- Vienna_Development_Method wikiPageExternalLink vdm-sl.
- Vienna_Development_Method wikiPageExternalLink README.
- Vienna_Development_Method wikiPageExternalLink showlanguage2.prx?exp=598.
- Vienna_Development_Method wikiPageExternalLink index.html.
- Vienna_Development_Method wikiPageExternalLink approach.html.
- Vienna_Development_Method wikiPageExternalLink www.csk.com.
- Vienna_Development_Method wikiPageExternalLink ssdvdm.pdf.zip.
- Vienna_Development_Method wikiPageExternalLink www.ifad.dk.
- Vienna_Development_Method wikiPageExternalLink www.overturetool.org.
- Vienna_Development_Method wikiPageExternalLink www.vdmbook.com.
- Vienna_Development_Method wikiPageExternalLink www.vdmportal.org.
- Vienna_Development_Method wikiPageExternalLink tutorial1.pdf.
- Vienna_Development_Method wikiPageExternalLink en.
- Vienna_Development_Method wikiPageExternalLink index.php?id=2.
- Vienna_Development_Method wikiPageID "140583".
- Vienna_Development_Method wikiPageRevisionID "602524054".
- Vienna_Development_Method hasPhotoCollection Vienna_Development_Method.
- Vienna_Development_Method subject Category:Formal_methods.
- Vienna_Development_Method subject Category:Formal_specification_languages.
- Vienna_Development_Method type Ability105616246.
- Vienna_Development_Method type Abstraction100002137.
- Vienna_Development_Method type Cognition100023271.
- Vienna_Development_Method type Communication100033020.
- Vienna_Development_Method type FormalMethods.
- Vienna_Development_Method type FormalSpecificationLanguages.
- Vienna_Development_Method type Know-how105616786.
- Vienna_Development_Method type Language106282651.
- Vienna_Development_Method type Method105660268.
- Vienna_Development_Method type PsychologicalFeature100023100.
- Vienna_Development_Method comment "The Vienna Development Method (VDM) is one of the longest-established formal method 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 "VDM".
- Vienna_Development_Method label "Vienna Definition Language".
- Vienna_Development_Method label "Vienna Development Method".
- Vienna_Development_Method label "Vienna Development Method".
- 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 Q1478998.
- Vienna_Development_Method sameAs Q1478998.
- Vienna_Development_Method sameAs Vienna_Development_Method.
- Vienna_Development_Method wasDerivedFrom Vienna_Development_Method?oldid=602524054.
- Vienna_Development_Method isPrimaryTopicOf Vienna_Development_Method.