「VDM」の版間の差分

スタイル調整。
(VDMの概要)
(スタイル調整。)
VDM(Vienna'''VDM'''('''Vienna Development Method)Method''')は、[[IBM]]のウィーン研究所で1960年代から70年代にかけて開発された形式手法です
 
その仕様記述言語[[VDM-SL]][[1996年]][[ISO]]標準(ISO_IEC_13817-1)となっています。VDM-SLをオブジェクト指向拡張したVDM++も、[[欧州連合]]ESPRIT計画のAFRODITEプロジェクトで開発されました。
 
{{stub}}
5,223

回編集