「VDM」の版間の差分

ナビゲーションに移動 検索に移動
外部リンクとしてOverture Toolを追加
m (外部リンクはリンク切れて、代替となるサイトもないようです。)
(外部リンクとしてOverture Toolを追加)
その仕様記述言語[[VDM-SL]]は[[1996年]]に[[国際標準化機構|ISO]]標準(ISO_IEC_13817-1)となっている。VDM-SLをオブジェクト指向拡張したVDM++も、[[欧州連合]]ESPRIT計画のAFRODITEプロジェクトで開発された。
 
==外部リンク==
*[http://overturetool.org/ Overture Tool] {{en icon}} [[オープンソース]]のVDMモデリング用[[統合開発環境|IDE]]
 
{{computer-stub}}

案内メニュー