In the Vinony graph
Vinony's link graph records 32 inbound references to VDM, and connects out to compiler, Ada and Japan.
It sits within the topics Formal methods and Formal specification languages.
Vinony links it to 7 Wikipedia language editions.
Article · 日本語
VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語は1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
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