(1) O descriere declarativ de ceea ce este ceva sau nu.
(2) Un document care descrie, într-o complet, mod precis, verificabil, cerinţele, de proiectare, comportament, sau caracteristici ale unui sistem sau componentă a sistemului, în scopul de a dezvolta sau validare a sistemului.