「VDM」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m ボット: 言語間リンク 4 件をウィキデータ上の (d:Q1478998 に転記) |
||
| 9行目: | 9行目: | ||
{{computer-stub}} |
{{computer-stub}} |
||
[[Category:形式手法]] |
[[Category:形式手法]] |
||
[[de:Vienna Definition Language]] |
|||
[[en:Vienna Development Method]] |
|||
[[fr:Vienna Development Method]] |
|||
[[uk:Віденський метод розробки]] |
|||
2013年3月20日 (水) 01:29時点における版
VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。
その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
外部リンク
- VDM Portal （英語）
 | この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 |