(1) เป็นเอกสารที่ชัดเจน และแม่นยำอธิบายแต่ละข้อกำหนดสำคัญ (ฟังก์ชัน ประสิทธิภาพ ข้อจำกัดออกแบบ และแอตทริบิวต์ของคุณภาพ) ของซอฟต์แวร์และการอินเทอร์เฟซภายนอก มีกำหนดแต่ละความต้องการในเช่นวิธีว่า ความสำเร็จสามารถตรวจทางสอบ โดยวิธีที่กำหนดไว้ เช่น ตรวจสอบ สาธิต การวิเคราะห์ หรือทดสอบ Sometime ที่เรียกว่าข้อกำหนดจากภายนอก ความแตกต่างกับภายในข้อกำหนด (ออกแบบสเปค)