(1) Un documento che descrive in modo chiaro e preciso ognuno dei requisiti essenziali (funzioni, prestazioni, vincoli di progettazione e gli attributi di qualità) del software e le interfacce esterne. Ogni requisito è definita in tale modo che il relativo successo può essere oggettivamente verificato da un metodo prescritto, per esempio, ispezione, dimostrazione, analisi o test. Sometime chiamato esterne specifiche. Contrasto con specifiche interne (specifiche di progettazione)