There are many formal specification

There are many formal specification methods. We evaluated several
and published our findings in New combe, 19 listing the requirements
we think are important for a formal
method to be successful in our industry segment. When we found TLA+ met
those requirements, we stopped evaluating methods, as our goal was always
practical engineering rather than an
exhaustive survey.

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

มีหลายวิธีที่มีสเปคอย่างเป็นทางการ เราประเมินหลายและเผยแพร่ผลการวิจัยของเราใน Combe ใหม่ 19 รายการความต้องการที่เราคิดว่ามีความสำคัญเป็นอย่างเป็นทางการวิธีการจะประสบความสำเร็จในส่วนของอุตสาหกรรมของเรา เมื่อเราพบ TLA + ได้พบกับความต้องการเหล่านั้นเราหยุดการประเมินวิธีการที่เป็นเป้าหมายของเราอยู่เสมอวิศวกรรมการปฏิบัติมากกว่าการสำรวจอย่างละเอียด

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

มีวิธีการเพาะที่เป็นทางการมาก เราประเมินหลาย
และเผยแพร่ผลของเราใหม่ใน Combe , 19 รายการความต้องการ
เราคิดว่าสำคัญสำหรับอย่างเป็นทางการ
วิธีการจะประสบความสำเร็จในส่วนอุตสาหกรรมของเรา เมื่อเราพบ TLA เจอ
ความต้องการเหล่านั้น เราหยุดประเมินวิธีการที่เป็นเป้าหมายของเราได้เสมอ

ทางวิศวกรรมมากกว่าการสำรวจอย่างละเอียด .