Em Engenharia de software do sistema, um documento que estabelece as funções que deve executar o software, nível de desempenho (velocidade, precisão, etc.), a natureza das interfaces necessárias entre o produto de software e seu ambiente, o tipo e a gravidade das restrições de projeto e a qualidade do produto final. Especificação de sinônimo com externo.