IV

Interaction et vérification

T. Duval (site web - pages enseignement)

• C1 : Introduction et généralités sur l'IHM
  • Construction de systèmes interactifs
• C2 : Modèles de Tâches
  • Le site de K-MADe
  • Le jar exécutable de K-MADe 1.3
  • La documentation de K-MADe 1.3

A. Beugnard

• C1 : Généralités sur les interactions, interfaces et architecture -- (pdf)
• C2 : Interactions élémentaires à 2 ou plus -- (pdf)
• C3 : Eléments de spécification, diagrammes -- (pdf)
• Comparaison de la redéfinition et de la liaison dynamique entre langages ([1])

P. Dhaussy & C. Teodorov

• C1 : Langages et Automates [2]
• C2 : Travail pratique (pdf)
• C3 : Cours UPPAAL et TP (zip) et documentation UPPAAL (zip)
  • Téléchargement UPPAAL 4.0 ici
  • Spécification ascenseur (pdf)