(1) Ett dokument som klart och tydligt beskriver var och en av de väsentliga kraven (funktioner, prestanda, design begränsningar och kvalitet attribut) programvaran och de externa gränssnitt. Varje krav definieras i sådana ett sätt att uppnåendet kan objektivt kontrolleras genom en föreskriven metod, till exempel, inspektion, demonstration, analys eller provning. Sometime kallas yttre specifikationer. Kontrast med inre specifikationer (konstruktionsspecifikationer)