COURS // MGL7160 Méthodes formelles et semi-formelles

Mes cours favoris

Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.

Trimestre Cours Groupe
  • Cycle : 2
  • Nombre de crédits : 3
  • Discipline : Maîtrise en génie logiciel

Description

Introduction à certaines notations formelles pour décrire les exigences et les spécifications de systèmes logiciels. Méthodes pour les systèmes séquentiels (tel que le langage Z ou la notation de Mills) et pour les systèmes concurrents et réactifs (tels que les machines d'états et les réseaux de Petri avec certaines extensions concernant les données). Utilisation des méthodes formelles pour l'analyse des propriétés et du fonctionnement des systèmes au niveau de la spécification, de la conception ou de l'implantation.

Les modalités d’enseignement des cours du trimestre d’hiver 2021 sont maintenant à jour.

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités d’enseignement des cours du trimestre d’été 2021 sont maintenant à jour.

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

La grande majorité des activités d'enseignement au trimestre d'automne 2021 sera offerte en mode présentiel. Les exceptions seront affichées sur ce site le 28 juin 2021. Dans l'éventualité où les objectifs gouvernementaux de vaccination ne seraient pas atteints et où la situation épidémiologique serait instable, les modalités du trimestre d'automne seront modifiées. Les personnes étudiantes en seront avisées par communiqué et sur ce site.

Les horaires présentés dans cette page sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.
Retour en haut de page