(1) Dokumentas, kuriame aiškiai ir tiksliai kiekvienos programinė įranga ir išorinės sąsajos esminius reikalavimus (funkcijas, efektyvumo, dizaino apribojimus ir kokybinius požymius). Kiekvieno reikalavimo apibrėžiamas tokia taip, kad jo pasiekti galima objektyviai patikrinti nustatytą metodą, pvz., patikrinimo, demonstravimo, analizės, ar bandymo. Sometime vadinamas išorės specifikacijas. Kontrastas su vidaus specifikacijų (projektavimo specifikacijos)