especially where code is not automa

especially where code is not automatically generated from the abstract specification.

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

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

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

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

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

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