• Animation-based validation requir

• Animation-based validation requires parts of the RE to be specified in terms of the formal constructs reviewed in Section 4.4. The specification must be executable or transformable

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

•การตรวจสอบการเคลื่อนไหวที่ใช้ต้องมีส่วนของใหม่ที่ได้รับการระบุไว้ในแง่ของการสร้างอย่างเป็นทางการดูในส่วน 4.4 สเปคจะต้องปฏิบัติการหรือ transformable

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

•ตรวจสอบการเคลื่อนไหวตามต้องการส่วนของใหม่ที่จะระบุในรูปแบบของโครงสร้างทางที่ตรวจสอบในส่วน 4.4 ข้อกำหนดที่ต้องปฏิบัติ หรือ transformable

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

•การตรวจสอบ ภาพ แอนิเมชั่น - ต้องใช้ของใหม่ที่จะต้องระบุไว้ในข้อกำหนดของการประกอบสร้างอย่างเป็นทางการได้พิจารณาในส่วน 4.4 ข้อมูลจำเพาะที่จะต้องปฏิบัติการหรือ transformable