「VDM」の版間の差分
削除された内容 追加された内容
Markupdancing (会話 | 投稿記録) m 外部リンクはリンク切れて、代替となるサイトもないようです。 |
外部リンクとしてOverture Toolを追加 |
||
| 4行目: | 4行目: | ||
その仕様記述言語[[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プロジェクトで開発された。 |
||
==外部リンク== |
|||
*[http://overturetool.org/ Overture Tool] {{en icon}} [[オープンソース]]のVDMモデリング用[[統合開発環境|IDE]] |
|||
{{computer-stub}} |
{{computer-stub}} |
||
2018年5月16日 (水) 10:36時点における版
VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。
その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
外部リンク
- Overture Tool （英語） オープンソースのVDMモデリング用IDE
 | この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 |