Данная справка описывает указанный каталог. Обратитесь в учреждение, чтобы подтвердить актуальное предложение и условия, применимые к вашему началу обучения.
Описание
Формальные методы в инженерии программного обеспечения Спецификация и корректность программного обеспечения. Темы включают алгебраические спецификации, семантику языков программирования, логику Хоара/динамическую логику, языки спецификаций, трансформацию программ. Лекции, 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