Vienna Development Method
Sign in to saveMethode zur Entwicklung von Programmiersprachen mittels Metasprachen
In the Vinony graph
Vinony's link graph records 32 inbound references to Vienna Development Method, and connects out to compiler, Ada and Japan.
Vinony files it under Formal methods and Formal specification languages.
Vinony links it to 7 Wikipedia language editions.
Article · Deutsch
Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, .
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
compiler
Entity
Ada
Entity
Japan
Country
United Kingdom
Country
Denmark
Concept
Vienna
Entity
logic
Entity
computer science
Entity
operating system
Entity
mobile phone
Entity
International Standard Book Number
Entity
algorithm
Entity
natural number
Entity
C++
Entity
integer
Entity
real number
Entity
rational number
Entity
Wayback Machine
Entity
IBM
Entity
International Organization for Standardization
Entity