|
この項目では、Vienna Development Methodについて説明しています。Virtual DOS Machineについては「仮想DOSマシン」をご覧ください。 |
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "VDM" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2022年12月) |
VDM(Vienna Development Method)は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。
その仕様記述言語VDM-SLは1996年にISO標準(ISO_IEC_13817-1)となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
外部リンク[編集]