INF3143 Modélisation et spécification formelles de logiciels

• Examen Final : le 17 décembre 2012.
  • Noms débutant par A à LAN (inclusivement) : SH-3320.
  • Noms débutant par LAO à Z (inclusivement) : SH-3340.
• Plan de cours
• Installation d'Eclipse et de DresdenOCL
• Installation de Cygwin
• Exemples vus en classe
• Travaux pratiques
  • TP I
  • TP II
• Références
  • Dresden OCL
    • Manuel Dresden OCL.
  • Wiki de l'outil MDT-UML2
  • Norme OCL
  • Eclipse
  • Association for Computing Machinery (ACM)
  • IEEE-Computer Society (IEEE-CS)
• Accès aux notes.

Pour tout commentaire, vous adresser à