2019-1-INF6203-01 Méthodes formelles pour le développement de logiciels

Objectifs:Permettre aux étudiants de maîtriser le processus de développement rigoureux et formel du logiciel. Lui permettre d’approfondir les techniques de spécification, validation et test formels du logiciel.