This reference describes the indicated catalogue. Check with the institution to confirm the current offer and the conditions applicable to your intake.
Description
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.
Prerequisites
- Prerequisite(s): three and one-half COSC credits and MATH 1P67 .
Conditions and arrangements
- 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.
Reference text in its original language
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.
Sources and references
Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.
Source reference : https://brocku.ca/webcal/2024/undergrad/cosc.html