กระบวนการของการพัฒนาที่ตั้งค่าของข้อมูลจำเพาะสำหรับคอมเพล็กซ์ฮาร์ดแวร์ระบบโดยที่มีระเบียบการตรวจสอบเป็นตัวอย่างของที่ระบบ[ rekoff ; Spark , 1985 ]
การวิเคราะห์ที่มีอยู่ในการระบุของระบบและคอมโพเนนต์ของพวกเขาแต่และสร้างการรับรองของระบบในอีกรูปแบบหรือที่ระดับที่สูงกว่าของนามธรรม
การแปล กรุณารอสักครู่..
![](//thimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)