（1）何が何であるか、しないの宣言的記述。
（2）完了すると、正確で検証可能な形で、説明文書を、要件、設計、動作、または開発やシステムを検証するために、またはシステムコンポーネントの特性。