In computer science, specifically s

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.[1] The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.[2]

Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.[3]

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

ในวิทยาการคอมพิวเตอร์ โดยเฉพาะวิศวกรรมซอฟต์แวร์และฮาร์ดแวร์วิศวกรรม เป็นวิธีมีแบบเฉพาะของเทคนิค mathematically ตามสเปค พัฒนา และตรวจสอบระบบฮาร์ดแวร์และซอฟต์แวร์[1] การใช้วิธีทางการออกแบบซอฟต์แวร์และฮาร์ดแวร์เป็นแรงจูงใจตามความคาดหวังว่า ในสาขาวิศวกรรมอื่น ๆ ทำการวิเคราะห์ทางคณิตศาสตร์ที่เหมาะสมสามารถนำไปสู่ความน่าเชื่อถือและเสถียรภาพของการออกแบบ[2]วิธีทางจะอธิบายเป็นแอพลิเคชันของคอมพิวเตอร์ทฤษฎีวิทยาศาสตร์พื้นฐาน ค่อนข้างกว้างโดยเฉพาะ ตรรกะ calculi ภาษาที่เป็นทางการ ทฤษฎีออโตมาตา โปรแกรมความ หมาย แต่ยังชนิด และระบบข้อมูลพีชคณิตชนิดปัญหาในข้อมูลจำเพาะเกี่ยวกับซอฟต์แวร์และฮาร์ดแวร์และตรวจสอบ[3]

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

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

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

ในวิทยาศาสตร์คอมพิวเตอร์ , วิศวกรรมซอฟต์แวร์และวิศวกรรมฮาร์ดแวร์โดยเฉพาะ วิธีเป็นทางการเป็นเทคนิคเฉพาะของทางคณิตศาสตร์ตามสเปค การพัฒนา และการตรวจสอบของซอฟต์แวร์และระบบฮาร์ดแวร์ [ 1 ] ใช้วิธีเป็นทางการและการออกแบบซอฟต์แวร์ฮาร์ดแวร์เป็นแรงจูงใจจากความคาดหวังว่า ในสาขาวิศวกรรมอื่น ๆดำเนินการวิเคราะห์ทางคณิตศาสตร์ที่เหมาะสมสามารถช่วยให้ความน่าเชื่อถือและความทนทานของการออกแบบ [ 2 ]

อย่างเป็นทางการวิธีที่ดีที่สุดอธิบายการใช้ที่ค่อนข้างหลากหลายกว้างของทฤษฎีวิทยาศาสตร์คอมพิวเตอร์พื้นฐาน , นิ่ว , ตรรกะเฉพาะภาษาอย่างเป็นทางการ จำกัด ทฤษฎีและความหมาย โปรแกรมแต่ยังพิมพ์ระบบและประเภทข้อมูลเกี่ยวกับพีชคณิต ปัญหาซอฟต์แวร์และสเปคฮาร์ดแวร์และตรวจสอบ [ 2 ]