「VDM」の版間の差分
削除された内容 追加された内容
en |
m +: uk |
||
| 3行目: | 3行目: | ||
その仕様記述言語[[VDM-SL]]は[[1996年]]に[[ISO]]標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、[[欧州連合]]ESPRIT計画のAFRODITEプロジェクトで開発された。 |
その仕様記述言語[[VDM-SL]]は[[1996年]]に[[ISO]]標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、[[欧州連合]]ESPRIT計画のAFRODITEプロジェクトで開発された。 |
||
[[en:Vienna Development Method]] |
|||
{{stub}} |
{{stub}} |
||
[[en:Vienna_Development_Method]] |
|||
[[uk:Віденський_метод_розробки]] |
|||
2006年12月2日 (土) 08:28時点における版
VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。
その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
 | この項目は、書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 このテンプレートは分野別のスタブテンプレート（Wikipedia:スタブカテゴリ参照）に変更することが望まれています。 |