(1) Een document dat duidelijk en nauwkeurig beschrijving van elk van de essentiële eisen (functies, prestaties, ontwerpbeperkingen en kwaliteit kenmerken) van de software en de externe interfaces. Elke eis in dergelijke een manier dat de verwezenlijking ervan kan worden objectief geverifieerd door een voorgeschreven methode, bijvoorbeeld, inspectie, demonstratie, analyse of test is gedefinieerd. Ergens genaamd externe specificaties. Contrast met interne specificaties (specificaties van het ontwerp)