Formal methods model consists of a

Formal methods model consists of a set of activities that establishes the formal mathematical specification of computer software. In this model initial a mathematical specification is constructed, which can be written in either languages VDM or languages Z. The specification is then transformed stage by stage into the working software. That why it is also called as the transformation mode. So the main aim of this model is to convert the formal mathematical specification of a system specification to an executable program. This model is concerned to the theoretical work on formal specification. This basic formal system development is shown in fig.2.16.

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

รูปแบบวิธีการศึกษาประกอบด้วยชุดของกิจกรรมที่กำหนดข้อมูลจำเพาะเกี่ยวกับคณิตศาสตร์อย่างเป็นทางการของซอฟต์แวร์คอมพิวเตอร์ ในรุ่นแรกนี้ เป็นข้อมูลจำเพาะทางคณิตศาสตร์สร้างขึ้น ซึ่งสามารถเขียนได้ในภาษา VDM หรือภาษา Z ข้อมูลจำเพาะเป็นแล้วเปลี่ยนขั้นตอนโดยขั้นตอนเป็นซอฟต์แวร์ทำงาน เหตุผลที่มันถูกเรียกว่าเป็นโหมดการแปลง ดังนั้น จุดมุ่งหมายหลักของแบบจำลองนี้เป็นการ แปลงทางคณิตศาสตร์ข้อมูลจำเพาะเกี่ยวกับข้อกำหนดระบบการโปรแกรม รูปแบบนี้เป็นห่วงงานทฤษฎีในแบบ พัฒนาระบบพื้นฐานทางนี้แสดงใน fig.2.16

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

รูปแบบวิธีการทางการประกอบด้วยชุดของกิจกรรมที่กำหนดสเปคทางคณิตศาสตร์อย่างเป็นทางการของซอฟต์แวร์คอมพิวเตอร์ ในรุ่นนี้ครั้งแรกข้อกำหนดทางคณิตศาสตร์ที่สร้างขึ้นมาซึ่งสามารถเขียนได้ทั้งใน VDM ภาษาหรือภาษาซีสเปคเป็นเวทีเปลี่ยนแล้วโดยขั้นตอนในซอฟต์แวร์ที่ทำงาน ว่าทำไมมันจะเรียกว่าเป็นโหมดการเปลี่ยนแปลง ดังนั้นจุดมุ่งหมายหลักของรุ่นนี้คือการแปลงข้อมูลจำเพาะทางคณิตศาสตร์อย่างเป็นทางการของการกำหนดระบบการโปรแกรมปฏิบัติการ รุ่นนี้เป็นเรื่องที่เกี่ยวข้องกับการทำงานตามทฤษฎีข้อกำหนดอย่างเป็นทางการ นี้การพัฒนาระบบอย่างเป็นทางการพื้นฐานจะแสดงใน fig.2.16

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

รูปแบบวิธีการที่เป็นทางการ ประกอบด้วยชุดกิจกรรมทางคณิตศาสตร์ที่กำหนดสเปคอย่างเป็นทางการของซอฟต์แวร์คอมพิวเตอร์ รุ่นนี้สเปคทางคณิตศาสตร์เริ่มต้นขึ้น ซึ่งสามารถเขียนได้ทั้งภาษา vdm หรือภาษาซี สเปคก็เปลี่ยนขั้นตอนโดยขั้นตอนในซอฟต์แวร์ทำงาน ว่าทำไมมันจะเรียกว่าเป็นโหมดการแปลงดังนั้นจุดมุ่งหมายหลักของรุ่นนี้คือการแปลงข้อมูลทางคณิตศาสตร์อย่างเป็นทางการของระบบข้อมูลในโปรแกรมปฏิบัติการ รุ่นนี้เป็นรุ่นที่เกี่ยวข้องกับงานเชิงทฤษฎีเกี่ยวกับสเปคอย่างเป็นทางการ พื้นฐานระบบการพัฒนาที่แสดงใน fig.2.16 .