Enseignement (2001-02)

• DEUG MIAS 1er semestre: Processus d'évaluation (DEUG SPAD)
• Notes de cours du module optionnel de maîtrise : Spécification et certification du logiciel
• Transparents des cours donnés au GLA : Spécification formelle
• Projet d'année de Maîtrise (déjà pris) : Interface
• Projets d'option MIAS : Mini Basic ++
  Archives sujets d'examens : juin 2001, septembre 2001.

           08      09      10      11      12      13      14      15      16      17      18      19
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+
| Lundi    |       |       |       |       |       |       |       |       [= MIAS-b ]     |       |
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+
| Mardi    |       |       |       |       |       |       |       |       |       |       |       |
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+
| Mercredi |       |       |       |       |       |       |       |       |       |       |       |
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+
| Jeudi    |       |       |       |       |       |       |       |       |       |       ]       |
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+
| Vendredi |   [= MIAS-o 14/25 ]   |       |       |       [       |       |       |       |       |
+----------+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+-:-:-:-+