(1) Et dokument, der klart og præcist beskriver hvert af de væsentlige krav (funktioner, ydeevne, design begrænsninger og kvalitet attributter) af softwaren og de eksterne grænseflader. Hver krav er defineret i sådan en måde, at dens resultat kan objektivt verificeres ved en foreskrevne metode, for eksempel, inspektion, demonstration, analyse eller test. Engang kaldes eksterne specifikationer. Kontrast med interne specifikationer (design specifikationer)