คำอธิบาย
บทนำสู่วิธีการเชิงรูปธรรมในวิศวกรรมซอฟต์แวร์ พร้อมการครอบคลุมตรรกะประพจน์และตรรกะแบบชั้นหนึ่ง (ไวยากรณ์ ความหมาย ทฤษฎีพิสูจน์) ภาษาในการระบุเชิงรูปธรรม การวิเคราะห์เชิงจำกัดและการตรวจสอบ ความถูกต้อง เครื่องมือการระบุเชิงรูปธรรม และการตรวจสอบแบบจำลองโดยใช้เครื่องสถานะจำกัด ตรรกะชั่วคราว และเครื่องมือตรวจสอบแบบจำลอง
รายวิชาก่อนหน้า
- วิชาก่อนศึกษา: COMP 1805 , SYSC 3120 , และ SYSC 4001 .
เงื่อนไขและข้อกำหนด
- วิชาก่อนศึกษา: COMP 1805 , SYSC 3120 , และ SYSC 4001 .
- บรรยายสามชั่วโมงต่อสัปดาห์
ข้อความอ้างอิงในภาษาต้นฉบับ
Introduction to formal methods in software engineering with coverage of propositional and first-order logic (syntax, semantics, proof theory), formal specification languages, bounded analysis and validation, formal specification tools, and model checking with finite-state machines, temporal logic, and model checking tools.
- Prerequisite(s): COMP 1805 , SYSC 3120 , and SYSC 4001 .
- Lectures three hours a week.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/undergrad/courses/SYSC/