Finally, the ASM-based development

Finally, the ASM-based development process always allows
a device manufacturer to demonstrate that the software has
been validated and verified, both when it is a software
implementation obtained as the last step of ASM model
correct refinement, and when it is external code that has been
conformance checked.

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

ในที่สุด ใช้ ASM พัฒนาเสมอให้ผู้ผลิตอุปกรณ์เพื่อแสดงให้เห็นว่า ซอฟต์แวร์ที่มีรับการตรวจสอบ และตรวจ สอบ ทั้งเป็นซอฟต์แวร์การใช้งานที่ได้รับเป็นขั้นตอนสุดท้ายของรุ่น ASMแก้ไขปรับปรุง และเมื่อเป็นรหัสภายนอกที่ได้รับตรวจสอบความสอดคล้องกัน

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

สุดท้ายกระบวนการพัฒนา ASM ตามเสมอช่วยให้
ผู้ผลิตอุปกรณ์แสดงให้เห็นว่าซอฟต์แวร์ที่ได้
รับการตรวจสอบและตรวจสอบทั้งในเมื่อมันเป็นซอฟแวร์
การดำเนินงานได้เป็นขั้นตอนสุดท้ายของรูปแบบ ASM
การปรับแต่งที่ถูกต้องและเมื่อมันเป็นรหัสภายนอกที่มี รับ
สอดคล้องการตรวจสอบ