Martin Strecker: Teaching

2010-2011 (admin) (Wiki) (Moodle)

Licence

• Licence 1 (S1): Informatique
• Licence 2 (S3): Logique
• Licence 3 (S5): Algorithmes (Albi) (Moodle)

Master

• Master 1 (S7): Traduction des Langages
• TER
• Master 2 (S9): Principes et Fondements de la Méta-modélisation
• Master 2 (S9): Architecture Description Languages

Année 2008-2009

Licence (admin) (Moodle) (L1) (L2) (L3)

• Licence 1 (S1): Informatique
• Licence 2 (S3): Logique
• Licence 3 (S5): Algorithmes, types de données et preuves
• Licence 3 (S5): Algorithmes, types de données et preuves (Albi)
• Licence 3 (S6): Concepts de Programmation

Master (M1) (M2)

• Master 1 (S7): Spécification et Traduction des Langages
• Master 1 IUP ISI (S7): Bases et outils de la traduction
• TER
• Master 2 (S9): Architecture Description Languages

Année 2007-2008

Licence (admin) (L1) (L2) (L3)

• Licence 1 (S1): Informatique
• Licence 2 (S3): Logique
• Licence 2 (S3): Programmation en C (Albi)
• Licence 3 (S5): Algorithmes, types de données et preuves
• Licence 3 (S5): Algorithmes, types de données et preuves (Albi)
• Licence 3 (S6): Concepts de Programmation

Master (M1) (M2)

• Master 1 (S7): Spécification et Traduction des Langages
• Master 1 IUP ISI (S7): Bases et outils de la traduction
• TER

Année 2006-2007

• Licence 2 (S3): Logique
• Licence 2 (S3): Programmation en C (Albi)
• Licence 3 (S5): Algorithmique
• Licence 3 (S5): Algorithmes, types de données et preuves (Albi)
• Licence 3 (S6): Concepts de Programmation
• Master 1 (S7): Spécification et Traduction des Langages
• TER

Année 2005-2006

• Licence 2 (S3): Logique
• Licence 2 (S3): Programmation en C (Albi)
• Licence 3 (S5): Algorithmique
• Licence 3 (S5): Algorithmes, types de données et preuves (Albi)
• Licence 3 (S6): Concepts de Programmation
• Master 1 (S7): Spécification et Traduction des Langages
• TER

Année 2004-2005

• Licence 1 (S1): Numération - codage, Algèbre de bool, Logique
• Licence 2 (S3): Programmation et logique
• Licence 2 (S4): Programmation impérative
• Licence 3 (S5): Algorithmique
• Licence 3 (S6): Concepts de Programmation
• Master 1 (S7): Spécification et Traduction des Langages
• Master 1 (S8), IUP ISI: Traduction

SS 2004

• Praktikum: Spezifikation und Verifikation

WS 2003/2004

• Seminar: Methoden des Security Engineering
• Praktikum: Spezifikation und Verifikation

SS 2003

• Seminar: Software Security
• Praktikum: Spezifikation und Verifikation

WS 2002/2003

• Proseminar: Software-Desaster, und wie man sie verhindern kann
• Seminar: Software Security
• Seminar: CASE-Werkzeuge für eingebettete Systeme

SS 2002

• Seminar: Entwicklung sicherer Systeme
• Praktikum Spezifikation und Verifikation

WS 2001/2002

• Seminar: Nachweis von Sicherheitseigenschaften für JavaCard durch approximative Programmauswertung

SS 2001

• Praktikum Spezifikation und Verifikation
• Proseminar: Mathematische Modellierung