Mes enseignements :

• Génie Logiciel I (spécifications de structures de données; test de logiciel) [L2]
• Génie Logiciel (spécifications de systèmes) [ILOG1]
• Introduction au Génie Logiciel (spécifications de structures de données; test de logiciel) [CP2I]
• Modélisation (UML; techniques de développement de logiciels [L3 et ILOG1]
• Génie Logiciel Avancé (patterns et développement; spécifications de systèmes dynamiques) [M1 et ILOG2]
• Spécifications des systèmes complexes [M2]
• Abstraction et raffinement [M2]

et avant ...

• Théorie des Langages et Compilation [DEUG2 puis L3]
• Spécifications formelles et orienté objet [DEA]

et encore avant ...

Responsable du DESS de Génie Informatique
Responsable de la Licence et de la Maîtrise d'Informatique
Enseignements:
Mathématiques pour l'Informatique (L2 en Licence)
Génie Logiciel (M1 en Maîtrise)
Méthodes Formelles pour le Dévelopement de Logiciel (option Maîtrise)
Spécifications Formelles et Applications (DESS)
Spécifications Formelles (DEA)