VDM
表示
出典: フリー百科事典『ウィキペディア(Wikipedia)』
VDM(Vienna Development Method)は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。
その仕様記述言語VDM-SLは1996年にISO標準(ISO_IEC_13817-1)となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。
外部リンク
[編集 ]- Overture Tool (英語) オープンソースのVDMモデリング用IDE
スタブアイコン
この項目は、コンピュータに関連した書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています(PJ:コンピュータ/P:コンピュータ)。