Teaching Support

Mastere 1 Info, module SSDE, mars 2009

• Pointeurs pour les sujets d'exposes: PDF

• EM, Cours du 13 mars 2009: MDE, Distributed Components, and Specification Environments Power-point ou PDF
• LH, CCS and Bisimulations Power-point ou PDF
• LH, Asynchronous-Components Power-point ou PDF
• EM, Cours du 27 mars: Logiques Temporelles PPT, PDF

Master RDS 2006

• Cours du 27 octobre 2006:
  Semantics Formalisms: an Overview Power-point ou PDF
  Exercices PDF
  Corriges PDF
• Cours du 10 novembre 2006:
  Software Components Power-point ou PDF
  Home Work: Hands-on exercice with CTTool CTTool Homework and Correction
• Cours du 24 novembre 2005:
  Application to Distributed Applications Power-point ou PDF

Master RDS 2005

• Cours du 15 novembre 2005:
  Semantics Formalisms: an Overview Power-point ou PDF
• Cours du 30 novembre 2005:
  Distributed Java Power-point ou PDF
• Cours du 6 decembre 2005:
  Distributed Components Power-point ou PDF