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 |
---|
Description du cours
- 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.
Horaire - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.