STATE OF THE ARTIn the past, the us

STATE OF THE ART
In the past, the use of formal methods
in practice seemed hopeless. The notations were too obscure, the techniques
did not scale, and the tool support was
inadequate or too hard to use. There
were only a few nontrivial case studies
and together they still were not convincing enough to the practicing software or
hardware engineer. Few people had the
training to use them effectively on the
job.

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

ทันสมัยในอดีต การใช้วิธีการทางในทางปฏิบัติดูเหมือนตา ฯลฯ ที่ถูกเกินไปบดบัง เทคนิคต่าง ๆไม่ไม่ปรับขนาด และการสนับสนุนเครื่องมือไม่เพียงพอ หรือยากเกินไปที่จะใช้ มีมีเพียงไม่กี่ nontrivial กรณีศึกษาและร่วมกันพวกเขายังถูกไม่หลอกลวงพอซอฟต์แวร์ฝึกซ้อม หรือวิศวกรฮาร์ดแวร์ บางคนมีการฝึกอบรมการใช้อย่างมีประสิทธิภาพในการงาน

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

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

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

รัฐของศิลปะ
ในอดีต การใช้วิธีการแบบเป็นทางการ
ในทางปฏิบัติดูเหมือนสิ้นหวัง สัญลักษณ์ก็ปิดบังเทคนิค
ไม่ได้ขนาดและการสนับสนุนเครื่องมือคือ
ไม่เพียงพอหรือยากเกินไปที่จะใช้ มีเพียงไม่กี่

นอนทริเวียล กรณีศึกษา และร่วมกันพวกเขายังไม่น่าเพียงพอที่จะฝึก
วิศวกรซอฟต์แวร์หรือฮาร์ดแวร์ บางคนมี
การฝึกอบรมเพื่อใช้พวกเขาได้อย่างมีประสิทธิภาพบน
งาน