(1) Um documento que claramente e precisamente descreve cada um dos requisitos essenciais (funções, desempenho, restrições de projeto e atributos de qualidade) do software e as interfaces externas. Cada requisito é definido de tal uma maneira que sua realização pode ser objetivamente verificada por um método prescrito, por exemplo, inspeção, demonstração, análise ou teste. Sometime chamado especificações externas. Contraste com especificações internas (especificações de design)