MGL7160 MÉTHODES FORMELLES ET SEMI-FORMELLES

• Examen : le 22 avril 2014.
• Laboratoire : PK-4665
• Plan de cours
• Installation d'Eclipse et de DresdenOCL
• Installation de KeY
• Présentations en classe :
  • Introduction (acétates, version imprimable)
  • OCL partie I (acétates, version imprimable, exercices, projet Eclipse ocl1.zip)
  • OCL partie II (acétates, version imprimable, exercices)
  • OCL partie III (acétates, version imprimable, exercices)
  • MDE (acétates, version imprimable, exercices, projet Eclipse mde.zip)
  • ATP partie I (acétates, version imprimable, exercices, fichiers .key, archive zip)
  • ATP partie II (acétates, version imprimable, exercices, fichiers .key, archive zip)
  • Contrats (acétates, version imprimable, exercices, fichiers)
  • Méthodologie (acétates, version imprimable, exercices)
  • Invariants de boucle (exercices, fichiers)
  • Révision (acétates)
• Projet
  • Partie I
  • Partie II
  • Partie III, fichiers
• Références
  • Dresden OCL
    • Manuel Dresden OCL.
  • The KeY Project
    • Manuel KeY (le proxy de la bibliothèque permet d'accéder au texte).
  • Wiki de l'outil MDT-UML2
  • Norme OCL
  • Eclipse
• Accès aux notes.

Pour tout commentaire, vous adresser à