Luc Lavoie - Enseignement

Accueil · Enseignement · Recherche · Projets · Liens · Contact · Nouvelles · Plan · ?

Informations générales

2017-01-16
Début de l'activité du trimestre d'hiver 2017 le 16 janvier à 16:30 au D4-2012.

Hiver 2017

Automne 2005

Fiches officielles : IGL 601 et IGL 711 .

Semaine 1 (2014-08-25)
IGL601_2014-3 : Présentation de l'activité IGL 601 (automne 2014).
PR000 : Prolégomènes au génie logiciel et aux cycles de vie.
Semaine 2 (2014-09-01)
VV010 : Introduction à la vérification-validation.
VV030 : Techniques de test.
VV032 : Types abstraits algébriques (notes).
VV032 : Types abstraits algébriques (présentation).
Semaine 3 (2014-09-08)
VV030 : Techniques de test (suite).
Semaine 4 (2014-09-15)
REV01 : Revues des automates et langages formels
VV011 : Principe d'inadéquation.
Semaine 5 (2014-09-22)
REV01 : Revues de la théorie des graphes
VV031 : Techniques de couverture.
Semaine 6 (2014-09-29)
VV040 : Revues.
VV040 : Exemple de grille de revue de code.
VV020 : Gestion des essais.
Semaine 7 (2014-10-06)
Examen
Semaine 8 (2014-10-13)
Suspension de cours
Semaine 9 (2014-10-20)
Correction de l'examen
SL010 : Gestion des anomalies - IEEE 1044.
Laboratoire (tp2)
Semaine 10 (2014-10-27)
SL040 : Gestion des versions.
SL020 : Gestion des configurations - IEEE 828.
Semaine 11 (2014-11-03)
PR001 : Procédés de développement prédictifs.
PR002 : Procédés de développement synthétiques.
Semaine 12 (2014-11-10)
VV021 : Procédés de VV.
SL030 : Amélioration des processus.
Semaines 13 (2014-11-17)
VV034 : Techniques de flux de données.
Semaines 14 (2014-11-24)
VV035 : Techniques combinatoires.
ACTS : Site de référence du logiciel ACTS.
Semaine 15 (2014-12-01)
Revue et synthèse.