Dokument, ktorý určuje, kompletné, presné, overiteľné spôsobom, požiadaviek, dizajn, správanie alebo iné charakteristiky systému alebo komponentu a, často, postupy na určenie, či tieto ustanovenia boli splnené.