「VDM」の版間の差分
削除された内容 追加された内容
m ボット: 言語間リンク 4 件をウィキデータ上の (d:Q1478998 に転記) |
Markupdancing (会話 | 投稿記録) m 外部リンクはリンク切れて、代替となるサイトもないようです。 |
||
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://www.vdmportal.org/ VDM Portal] {{en icon}} |
|||
{{computer-stub}} |
{{computer-stub}} |