Z言語

集合論と一階述語論理に基づく形式仕様記述言語。システムの状態と操作を、宣言部と述語部からなるスキーマという単位で記述する。オックスフォード大学を中心に開発され、ISO/IEC 13568として標準化されている。

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

形式仕様記述と段階的詳細化によってソフトウェアを開発する手法。VDMToolsなどの支援ツールがある。

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

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

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

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