Документ, який указує на повне, точне, піддаються перевірці манері, вимоги, Дизайн, поведінки або інших характеристик системи або компонент, і, найчастіше, процедури для визначення, чи ці положення були задоволені.