burkhart.wolff

teaching

  • home
  • research
  • publications
  • talks
  • teaching
  • duties
  • bio
  • contact

Courses 2009/2010 (Calendar)

2009-now

Subjects:

  • MAN for M2R : Test of Information Systems ("Mise a Niveau pour: Test des Systèmes Informatiques")
  • M2R : Test of Information Systems ("Test des Systèmes Informatiques")
  • M2Pro-GL : Génie Logiciel --- Methodes Formelles pour Protocoles et Architectures
  • PolyTech : Verification and Validation ("Vérification et Validation")
  • L3 : Software Engineering ("Genie Logiciel")
  • L3 : Software Engineering Project ("TER Genie Logiciel")

Courses 2008/2009 (Calendar)

2008-now

Subjects:

  • IFIPS : Verification and Validation ("Vérification et Validation")
  • M2R : Test of Information Systems ("Test des Systèmes Informatiques")
  • L3 : Software Engineering ("Genie Logiciel")
  • L3 : Software Engineering Project ("TER Genie Logiciel")

Old Courses

2001-2008
  • Modeling and Reasoning
  • Software Engineering Uni-Freiburg
© Burkhart Wolff . All rights reserved.