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

Scolarité

Deuxième cycle - 3,0 crédit(s)

Département

Département d'informatique et d'ingénierie

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.

Contenu

Spécification et validation de besoins. Spécification de programmes séquentiels. Spécification de modules. Conception interne de modules et fonction d'abstraction. Étude et application de quelques langages formels. Spécification de programmes concurrents. Documentation produite à chaque étape du développement du logiciel. Étude et utilisation d’outils logiciels pour le développement formel du logiciel. Méthodes formelles de test. Méthodes formelles et méthodes informelles de validation de logiciels.

Préalables

Aucun

Exigences de qualification pour l'enseignement

Diplôme(s)
Doctorat dans un secteur lié spécifiquement au contenu du cours ou doctorat dans un secteur disciplinaire connexe au cours.
Expérience
Dans le cas d’un doctorat dans un secteur disciplinaire connexe au cours : expérience en recherche ou en intervention professionnelle dans un domaine lié au contenu du cours.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa capacité à communiquer efficacement oralement et par écrit ainsi qu’à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l’enseignement (EQE) sont adoptées.

CAFF

6609 - Génie informatique et logiciel