As we focus on a completely generat

As we focus on a completely generated executable specification, it is necessary to generate code out of the overall model.

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

เน้นสเปคปฏิบัติสร้างขึ้นอย่างสมบูรณ์ จึงจำเป็นต้องสร้างรหัสจากแบบจำลองโดยรวมด้วย

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

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

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

ในขณะที่เรามุ่งเน้นสร้างความสมบูรณ์ที่กำหนด จะต้องสร้างรหัสในรูปแบบโดยรวม