Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Vienna_Development_Method> ?p ?o }
- Vienna_Development_Method type Redirect.
- 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 Q1478998.
- 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 wasDerivedFrom Vienna_Development_Method?oldid=698757974.
- Vienna_Development_Method isPrimaryTopicOf Vienna_Development_Method.