形式化した要求

要求群はソフトウェアやシステムの意図した振る舞いを正しく表現できていますか？

要求はシステム開発における中心的役割を担うため、メンテナンスを効果的に行うためのプロセスの確立が求められます。しかし一方で、プロジェクトがうまくいかない主要な原因は、要求が不明瞭であったり不完全であったりすることであると良く知られています。