Enseignements 2008-2009

Cours - Lectures

  • M2R Informatique - Test de systèmes Informatiques
    2ème année de master recherche - Test passif
  • M2Pro IICI -
    2ème année master professionnel - Génie logiciel - ingénierie des protocoles
    Automates, LOTOS, relation de conformité, SDL, model-checking
  • M2Pro - Restel
    2ème année master professionnel - Génie logiciel - ingénierie des protocoles

  • 1er année ingénieurs en formation continue
    Test statique, test dynamique, critères structurels et fonctionnels

TD & TP - Practical work

  • L3 CFA Miage- Génie logiciel
    3ème année de Licence

Enseignements passés

Matières

  • Les méthodes formelles
    (les systèmes de transitions, les automates communicants, les machines è états finis étendues, la logique temporelle)
  • UML
  • langage C, langages fonctionnels
  • Bases de données
  • Systèmes d'exploitation, Réseaux

Informations additionnelles

Topics

News