VDM

形式仕様記述の手法の一つ。仕様記述言語（VDM-SLなど）で、扱うデータの型や不変条件、操作の事前条件と事後条件を厳密に記述し、仕様の検証や段階的な詳細化を行う。IBMのウィーン研究所で開発された。

形式手法の一つで、IBMウィーン研究所で生まれた仕様記述の方法とその言語（VDM-SL、VDM++）。データの型と不変条件、操作の事前条件・事後条件で仕様を厳密に書き、ツールによる構文・型の検査や、仕様を実行して確かめることができる。

システムの状態遷移を網羅的に探索し、満たすべき性質が成り立つかを機械的に検証する手法。テストでは見つけにくい並行処理の不具合を検出できる。

集合論と述語論理に基づいて仕様を厳密に記述する形式仕様記述言語。曖昧さのない仕様を作れる。

標準として定められたプロセスや文書、手法を、対象プロジェクトの規模、複雑さ、リスク、組織文化に合わせて取捨選択・修正すること。標準をそのまま当てはめて過剰な管理や形骸化に陥ることを防ぐ。

ソフトウェアの企画から開発、運用、保守、廃棄までの作業内容と用語を体系化した指針。SLCP-JCFともいい、発注者と受注者が同じ言葉で話すための共通の物差しとなる。

ソフトウェアライフサイクルプロセスを定めた日本産業規格。ISO/IEC 12207に対応し、共通フレームの基礎になっている。

システムライフサイクルプロセスを定めた日本産業規格。ソフトウェア単体ではなく、システム全体の視点でプロセスを規定する。