ข้อมูลอ้างอิงนี้อธิบายสารบบที่ระบุ โปรดติดต่อสถาบันเพื่อยืนยันข้อเสนอปัจจุบันและเงื่อนไขที่ใช้กับปีที่คุณจะเข้าเรียน
คำอธิบาย
วิธีการเชิงรูปธรรมในวิศวกรรมซอฟต์แวร์ การกำหนดสเปคและความถูกต้องของซอฟต์แวร์ หัวข้อรวมถึงสเปคเชิงพีชคณิต ความหมายของภาษาโปรแกรม ตรรกะ Hoare/ตรรกะไดนามิก ภาษาแบบสเปค การแปลงโปรแกรม บรรยาย 3 ชั่วโมงต่อสัปดาห์; แล็บ 2 ชั่วโมงต่อสัปดาห์ เงื่อนไขเบื้องต้น: หน่วยกิต COSC สามและครึ่ง และ MATH 1P67 หมายเหตุ: หลักสูตรนี้อาจมีการสอนในหลายรูปแบบ วิธีการสอนจะระบุในตารางสอนวิชาการ ในภาคการศึกษาที่เกี่ยวข้อง
รายวิชาก่อนหน้า
- เงื่อนไขเบื้องต้น: หน่วยกิต COSC สามและครึ่ง และ MATH 1P67.
เงื่อนไขและข้อกำหนด
- เงื่อนไขเบื้องต้น: หน่วยกิต COSC สามและครึ่ง และ MATH 1P67.
- หมายเหตุ: หลักสูตรนี้อาจเปิดสอนในหลายรูปแบบ วิธีการสอนจะแสดงในตารางสอนวิชาการ ในภาค/เทอมที่เกี่ยวข้อง.
ข้อความอ้างอิงในภาษาต้นฉบับ
Formal Methods in Software Engineering Specification and correctness of software. Topics include algebraic specifications, semantics of programming languages, Hoare/dynamic logic, specification languages, program transformation. Lectures, 3 hours per week; lab, 2 hours per week. Prerequisite(s): three and one-half COSC credits and MATH 1P67 . Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
- Prerequisite(s): three and one-half COSC credits and MATH 1P67 .
- Note: this course may be offered in multiple modes of delivery. The method of delivery will be listed on the academic timetable, in the applicable term.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://brocku.ca/webcal/2024/undergrad/cosc.html