この参照は示されたカタログの記述です。最新の提供状況や入学条件については機関に確認してください。
説明
ソフトウェア工学における形式手法 ソフトウェアの仕様と正当性。トピックには代数的仕様、プログラミング言語の意味論、ホーア／動的論理、仕様言語、プログラム変換が含まれます。講義、週3時間；ラボ、週2時間。前提条件：COSC 3.5単位（three and one-half COSC credits）およびMATH 1P67。注：本コースは複数の提供方式で開講される場合があります。提供方式は該当学期の履修時間割に記載されます。
前提条件
- 前提条件：COSC 3.5単位（three and one-half COSC credits）およびMATH 1P67。
条件および詳細
- 前提条件：COSC 3.5単位（three and one-half COSC credits）および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