กำหนดพฤติกรรมของระบบได้อย่างแม่นยำ

เปลี่ยนข้อกำหนดให้เป็นข้อกำหนดเฉพาะที่มีโครงสร้างและปฏิบัติการได้ ซึ่งกลายเป็นแหล่งความจริงเพียงแหล่งเดียวว่าระบบของคุณควรทำงานอย่างไร