形式仕様書

システムの安全性確保のため、形式仕様書を厳密に作成する必要がある。

航空管制システムは、形式仕様書に基づいて設計されているため信頼性が高い。

「この形式仕様書、かなり詳細に書かれてるね。」「うん、これなら開発もスムーズに進むだろう。」