スマートフォン用の表示で見る

VDM

コンピュータ

VDM

う゛いでぃーえむ

VDM

  • Vienna Development Method

IBMウィーン研究所で1960年代から70年代にかけて開発された、数学を基盤として仕様、プログラムの正当性を保証するための手法で、形式手法と呼ばれる手法のひとつ。