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