Un document care specifică, într-o manieră completă, precisă, verificabile, cerinţele, proiectare, comportamentul sau alte caracteristici ale unui sistem sau componentă şi, adesea, procedurile pentru a determina dacă aceste dispoziții au fost îndeplinite.