(1) Dokuments, kas skaidri un precīzi apraksta katru no programmatūras un ārējo saskarņu būtiskajām prasībām (funkcijas, veiktspēju, dizaina ierobežojumi un kvalitātes prasībām). Katru prasību, ir noteikta šāda veidā, ka tā sasniegšanai var objektīvi pārbaudīt noteikto metodi, piemēram, pārbaudes, demonstrācijas, analīzi vai testu. Sometime sauc par ārējo specifikācijām. Kontrasts ar iekšējo specifikācijām (konstrukciju)