此參考說明所註明的目錄。請向該機構確認當前課程供給與適用於你入學的條件。
課程說明
軟體工程之形式方法 軟體規格與正確性。主題包括代數規格、程式語言語意、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