The overarching goal of formal meth

The overarching goal of formal methods
is to help engineers construct more reliable systems. Formal methods is thus
an area that cuts across almost all other
areas in computer science. Its foundations lie squarely in mathematics, its
intended applications are hardware and
software systems, and its potential users are all developers involved in the
system engineering process.
Tremendous advances in the past decade have been made on all fronts. As
technology improves, it becomes more
feasible to attack harder and larger
problems. Progress in the area depends
on doing fundamental research, inventing new methods and building new
tools, integrating different methods to
work together, and making concerted
efforts by researchers to work with
practitioners to transfer technology effectively

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

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

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

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

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

เป้าหมายที่ครอบคลุมของวิธีการอย่างเป็นทางการ
จะช่วยวิศวกรสร้างระบบเชื่อถือได้มากขึ้น วิธีการอย่างเป็นทางการ จึงเป็นบริเวณที่ตัดข้าม

เกือบทุกพื้นที่อื่น ๆในคอมพิวเตอร์ ของมูลนิธิโกหกเต็มที่ในคณิตศาสตร์ วัตถุประสงค์การใช้งานของฮาร์ดแวร์และ

เป็นระบบซอฟต์แวร์และผู้ใช้ศักยภาพของนักพัฒนาทั้งหมดที่เกี่ยวข้องในกระบวนการวิศวกรรมระบบ

.ความก้าวหน้าอย่างมากในทศวรรษที่ผ่านมาได้ทุกครั้ง โดย
เทคโนโลยี เพิ่ม มันกลายเป็นไปได้ที่จะโจมตีหนักและใหญ่

ปัญหา ความคืบหน้าในพื้นที่ขึ้นอยู่กับ
ทำวิจัยพื้นฐาน การคิดค้นวิธีการใหม่ และการสร้างเครื่องมือใหม่


รวมวิธีการทำงานร่วมกันและทำให้ความพยายามร่วมกัน

โดยนักวิจัยที่จะทำงานกับประกอบกับการถ่ายทอดเทคโนโลยีได้อย่างมีประสิทธิภาพ