« IV » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 2 : | Ligne 2 : | ||
T. Duval ([https://sites.google.com/site/thierryduvalwebsite/ site web] - [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/ pages enseignement]) | T. Duval ([https://sites.google.com/site/thierryduvalwebsite/ site web] - [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/ pages enseignement]) | ||
* C1 : Introduction et généralités sur l'IHM | |||
** [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/IHMTB2017.pdf Construction de systèmes interactifs] | |||
* C2 : Modèles de Tâches | |||
** [http://www.lias-lab.fr/forge/projects/kmade/files Le site de K-MADe] | |||
** [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/kmade.jar Le jar exécutable de K-MADe 1.3] | |||
** [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom-bretagne/KMADe-1.3-UserManual-FR.pdf?attredirects=0 La documentation de K-MADe 1.3] | |||
A. Beugnard | A. Beugnard | ||
* C1 : Généralités sur les interactions, interfaces et architecture -- ([[Média:IV-CAB-1.pdf|pdf]]) | |||
* C2 : Interactions élémentaires à 2 ou plus -- ([[Média:IV-CAB-2.pdf|pdf]]) | |||
* C3 : Eléments de spécification, diagrammes -- ([[Média:IV-CAB-3.pdf|pdf]]) | |||
* Comparaison de la redéfinition et de la liaison dynamique entre langages ([http://perso.telecom-bretagne.eu/antoinebeugnard/signature/]) | |||
P. Dhaussy & C. Teodorov | P. Dhaussy & C. Teodorov | ||
* C1 : Langages et Automates [http://www.ensta-bretagne.fr/teodorov/cours/CM1_Automates.pdf] | |||
* C2 : Travail pratique ([[Média:SujetTD_automates.pdf|pdf]]) et correction TD ([[Média: SujetTD_correction.pdf |pdf]]) | |||
* C3 : Cours UPPAAL et TP ([[Média:Cours_Validation_UPPAAL.zip|zip]]) et documentation UPPAAL ([[Média:Doc_Exemples_Uppaal.zip|zip]]) | |||
** Téléchargement UPPAAL 4.0 [http://www.it.uu.se/research/group/darts/uppaal/download.shtml ici] | |||
** Spécification ascenseur ([[Média:Fiche6_TP_ModVal_UPPAAL_Ascenseur_22nov17.pdf|pdf]]) | |||
* C4 : Questions de recherche ([[Média: CM3_ResearchQuestions.pdf|pdf]]) | |||
Version du 14 août 2018 à 12:33
Interaction et vérification
T. Duval (site web - pages enseignement)
- C1 : Introduction et généralités sur l'IHM
- C2 : Modèles de Tâches
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