该参考描述所示目录。请向院校确认当前的招生项目及适用于您入学年的条件。
描述
软件工程中的形式方法 软件的规范与正确性。主题包括代数规范、编程语言语义、霍尔／动态逻辑、规范语言、程序变换。讲座，每周 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