VDM

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

VDM

  • Vienna Development Method

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

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ