「VDM」の版間の差分

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

インライン

2006年12月8日 (金) 01:02時点における版

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

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

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

2006年12月2日 (土) 08:28時点における版編集 SuisuiBot (会話 \| 投稿記録) 62,338 回編集 m +: uk ← 古い編集		2006年12月8日 (金) 01:02時点における版編集取り消し Melan (会話 \| 投稿記録) 25,487 回編集 m編集の要約なし新しい編集 →
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プロジェクトで開発された。