VDM

VDM

(コンピュータ)
う゛いでぃーえむ

VDM

  • Vienna Development Method

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

ネットの話題: VDM

人気

新着

新着ブログ: VDM