can ignore important implications o

can ignore important implications of failures, especially where code is not automatically generated from the abstract specification.

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

สามารถละเลยความสำคัญของความล้มเหลวโดยเฉพาะอย่างยิ่งที่รหัสจะไม่ขึ้นโดยอัตโนมัติจากสเปคที่เป็นนามธรรม

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

สามารถละเว้นนัยสำคัญของความล้มเหลว โดยเฉพาะอย่างยิ่งที่รหัสไม่สร้างอัตโนมัติจากข้อมูลจำเพาะเกี่ยวกับนามธรรม

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

สามารถไม่สนใจความเกี่ยวพันกับความสำคัญของความล้มเหลวโดยเฉพาะในกรณีรหัสไม่ได้สร้างขึ้นจากข้อมูลจำเพาะของโดยอัตโนมัติ