The Design Specification should be

The Design Specification should be a complete and precise statement of what the program must do. Although using spoken language can produce reasonably clear specifications, a truly precise specification must be written in a truly precise language such as Z(Jacky 1996).

ผลลัพธ์ (ไทย) 1:

ข้อมูลจำเพาะเกี่ยวกับการออกแบบควรคำสมบูรณ์ และแม่นยำของโปรแกรมต้องทำอะไร แม้ว่าการใช้ภาษาพูดสามารถผลิตข้อมูลจำเพาะที่ชัดเจนสมเหตุสมผล ข้อมูลจำเพาะอย่างแม่นยำต้องเขียนภาษาอย่างแม่นยำเช่น Z (กี้ 1996)

ผลลัพธ์ (ไทย) 2:

รายละเอียดการออกแบบควรจะเป็นคำสั่งที่สมบูรณ์และถูกต้องของสิ่งที่โปรแกรมจะต้องทำอย่างไร แม้ว่าการใช้ภาษาพูดสามารถผลิตข้อกำหนดที่ชัดเจนพอสมควรข้อกำหนดที่แม่นยำอย่างแท้จริงจะต้องเขียนในภาษาที่ถูกต้องอย่างแท้จริงเช่น Z (Jacky 1996)