Lightweight formal methods[edit]Som

Lightweight formal methods[edit]
Some practitioners believe that the formal methods community has overemphasized full formalization of a specification or design.[4][5] They contend that the expressiveness of the languages involved, as well as the complexity of the systems being modelled, make full formalization a difficult and expensive task. As an alternative, various lightweight formal methods, which emphasize partial specification and focused application, have been proposed. Examples of this lightweight approach to formal methods include the Alloy object modelling notation,[6] Denney's synthesis of some aspects of the Z notation with use case driven development,[7] and the CSK VDM Tools.[8]

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

วิธีทางน้ำหนักเบา [แก้ไข]บางผู้เชื่อว่า วิธีการศึกษาชุมชนมี overemphasized formalization เต็มรูปแบบของการกำหนดหรือออกแบบ[4][5] พวกเขาแข่งที่ expressiveness ของภาษาเกี่ยวข้อง ตลอดจนความซับซ้อนของระบบถูกคือ แบบจำลอง ทำ formalization เต็มงานยาก และมีราคาแพง เป็นทางเลือก น้ำหนักเบาทางวิธีการต่าง ๆ ที่เน้นข้อมูลจำเพาะบางส่วนและโปรแกรมประยุกต์เน้น มีการเสนอ ตัวอย่างของวิธีการนี้มีน้ำหนักเบาวิธีอย่างเป็นทางการได้แก่วัตถุโลหะผสมแบบจำลองสัญกรณ์ Denney [6] การสังเคราะห์บางส่วนของสัญลักษณ์ Z กับตัวขับเคลื่อนพัฒนา, [7] และเครื่อง มือ CSK VDM[8]

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

วิธีการทางการน้ำหนักเบา [แก้ไข]
ผู้ปฏิบัติงานบางคนเชื่อว่าชุมชนของวิธีการทางการได้เน้นเป็นทางการเต็มรูปแบบของการกำหนดหรือการออกแบบ. [4] [5] พวกเขายืนยันว่าการแสดงออกของภาษาที่เกี่ยวข้องเช่นเดียวกับความซับซ้อนของระบบที่มีการสร้างแบบจำลอง ให้ทางการเต็มรูปแบบเป็นงานที่ยากและมีราคาแพง เป็นทางเลือกวิธีการที่เป็นทางการต่างๆที่มีน้ำหนักเบาซึ่งเน้นสเปคบางส่วนและการประยุกต์ใช้ที่เน้นการได้รับการเสนอชื่อ ตัวอย่างของวิธีการที่มีน้ำหนักเบานี้วิธีการอย่างเป็นทางการรวมถึงล้อแม็กสัญกรณ์การสร้างแบบจำลองวัตถุ [6] การสังเคราะห์ Denney ของบางแง่มุมของสัญกรณ์ Z กับกรณีการใช้การพัฒนาขับเคลื่อน [7] และเครื่องมือ CSK VDM. [8]

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

น้ำหนักเบาแบบวิธี [ แก้ไข ]
บางวิธีการทางการแพทย์เชื่อว่าชุมชน overemphasized formalization เต็มสเปคหรือดีไซน์ [ 4 ] [ 5 ] พวกเขาโต้แย้งว่า ความลึกซึ้งของภาษา ที่เกี่ยวข้องรวมทั้งความซับซ้อนของระบบที่จำลองให้เต็มความเป็นทางการงานที่ยากและมีราคาแพง เป็นทางเลือกที่มีน้ำหนักเบาแบบต่าง ๆวิธีซึ่งเน้นสเปคบางส่วนและเน้นโปรแกรมได้รับการเสนอ ตัวอย่างของวิธีการนี้เป็นวิธีการที่มีน้ำหนักเบารวมถึงโลหะผสมสัญกรณ์วัตถุแบบเป็นทางการ , [ 3 ] เดนนี่ย์ของการสังเคราะห์บางแง่มุมของ Z โน้ตกับกรณีที่ใช้ขับเคลื่อนการพัฒนา [ 7 ] และ CS vdm เครื่องมือ [ 8 ]