「VDM」の版間の差分

削除された内容追加された内容

インライン

2005年10月22日 (土) 14:03時点における版

VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。

その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。

このテンプレートは分野別のスタブテンプレート（Wikipedia:スタブカテゴリ参照）に変更することが望まれています。

@@ 1行目: / 1行目: @@
-VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法です。
+'''VDM'''（'''Vienna Development Method'''）は、[[IBM]]のウィーン研究所で1960年代から70年代にかけて開発された形式手法。
-その仕様記述言語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プロジェクトで開発された。
+{{stub}}