Документ, който определя, в пълна, точна, подлежащи на проверка начин, изискванията, дизайн, поведение или други характеристики на система или компонент и, често, процедурите за определяне дали тези разпоредби са били изпълнени.