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