Un document (sau alte medii) care specifică, într-o manieră completă, precisă, verificabile, cerinţele, design, comportamentul sau alte caracteristici ale unui sistem sau componentă, şi, adesea, procedeele de stabilire a sau nu aceste dispoziții au fost îndeplinite.