Option G

1
Option Génie Logiciel.

• UV I5GL-A (Génie Logiciel )
• Ingénierie D. Sherman (12 h), C. Mazel ( 12h,
  TGS - Europe) 3.75
• Langages enchâssés R. Strandh (12 h), D.
  Sherman (12 h) 3.75
• UV I5GL-B (Preuves de programmes et test)
• Preuve de programmes et tests P. Gloess (21 h)
  2.75
• Ateliers et environnements de preuves P. Gloess
  (21 h) 2.75
• Tests de logiciels B. Le Saëc ( 15 h) 2
• UV I5GL-C Systèmes dinformations
• Conception orientée objet G. Eyrolles (26 h)
  3.75
• SGBDOO M. Mosbah (26 h) 3.75

2

• UV I5GL-D ( Interfaces utilisateurs et web)
• Modélisation et conception dapplications (G.
  Eyrolles 26 h) 3.75
• Déploiement dapplications web (commun BI)
  D.Sherman 9 h , Anne Levankiem (9 h , Lectra
  Systèmes), M. Mosbah 8 h 3.75
• UV I5GL-E (Ateliers de génie logiciel)
• Outils Logiciels (G. Eyrolles 13h, M. Mosbah 13h)
  3.75
• Module libre
• DEA Analyse et transformation de programmes
• (C.
  Consel) 3.75
• Non DEA Data mining (Bioinfo, S. Maabout, 26h)
  3.75

3

• Les cours Langages enchâssés et Preuve et
  sémantique comptent pour le DEA (option).
• Matériels et logiciels
• Cluster de PC sous Myrinet (Outils logiciels)
• Oracle 9i, ObjectStore SGBDOO
• Atelier Rational Rose UML, CO