Cette référence décrit le catalogue indiqué. Consultez l’établissement pour confirmer l’offre actuelle et les conditions applicables à votre rentrée.
Description
Méthodes formelles en génie logiciel Spécification et correction des logiciels. Les sujets incluent les spécifications algébriques, la sémantique des langages de programmation, la logique de Hoare/dynamique, les langages de spécification, la transformation de programmes. Cours magistraux, 3 heures par semaine ; laboratoire, 2 heures par semaine. Prérequis : trois crédits et demi en COSC et MATH 1P67. Remarque : ce cours peut être offert selon plusieurs modes d’enseignement. Le mode d’enseignement sera indiqué à l’horaire universitaire, pour le trimestre applicable.
Préalables
- Prérequis : trois crédits et demi en COSC et MATH 1P67.
Conditions et modalités
- Prérequis : trois crédits et demi en COSC et MATH 1P67.
- Remarque : ce cours peut être offert selon plusieurs modes d’enseignement. Le mode d’enseignement sera indiqué dans l’horaire académique, pour la session applicable.
Texte de référence dans sa langue d’origine
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 et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://brocku.ca/webcal/2024/undergrad/cosc.html