เอกสารที่ระบุ ในลักษณะสมบูรณ์ แม่นยำ ว่า ความต้องการ ออกแบบ พฤติกรรม หรือลักษณะอื่นของระบบ หรือส่วนประกอบ และ มักจะ ขั้นตอนสำหรับการกำหนดว่า บทบัญญัติเหล่านี้ถูกพอใจ