Hardware and software systems will

Hardware and software systems will inevitably grow in scale and functionality.
Because of this increase in complexity,
the likelihood of subtle errors is much
greater. Moreover, some of these errors
may cause catastrophic loss of money,
time, or even human life. A major goal
of software engineering is to enable developers to construct systems that operate reliably despite this complexity. One
way of achieving this goal is by using
formal methods, which are mathematically based languages, techniques, and
tools for specifying and verifying such
systems. Use of formal methods does
not a priori guarantee correctness.
However, they can greatly increase our
understanding of a system by revealing
inconsistencies, ambiguities, and incompleteness that might otherwise go undetected

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

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

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

ฮาร์ดแวร์และซอฟต์แวร์ของระบบย่อมจะเติบโตในขนาดและฟังก์ชั่น .
เพราะเพิ่มขึ้นในความซับซ้อนนี้
ความน่าจะเป็นของข้อผิดพลาดที่ลึกซึ้งมาก
มากกว่า นอกจากนี้บางส่วนของข้อผิดพลาดเหล่านี้อาจทำให้เกิดการสูญเสียที่รุนแรง

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

ใช้วิธีการทางการจะไม่รับประกันความถูกต้องระหว่าง
.
แต่พวกเขาอย่างมากสามารถเพิ่มความเข้าใจของเรา

ไม่สอดคล้องกันของระบบโดยเปิดเผย งงงวย และ incompleteness , ที่มิฉะนั้นอาจไปตรวจไม่พบ