「VDM」の版間の差分

VDMの概要
 
(VDMの概要)
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プロジェクトで開発されました。
匿名利用者