« IV/old » : différence entre les versions

De Parcours SIIA
Aller à la navigation Aller à la recherche
(Page créée avec « Interaction et vérification T. Duval ([https://sites.google.com/site/thierryduvalwebsite/ site web] - [https://sites.google.com/site/thierryduvalwebsite/teaching/telecom... »)
 
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
Ligne 13 : Ligne 7 :
* C2 : Interactions élémentaires à 2 ou plus -- ([[Média:IV-CAB-2.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]])
* 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/])
* Comparaison de la redéfinition et de la liaison dynamique entre langages ([https://www.imt-atlantique.fr/fr/personne/antoine-beugnard#edit-group-libre])


P. Dhaussy & C. Teodorov
C. Teodorov & Luka Le Roux
* C1 : Langages et Automates [http://www.ensta-bretagne.fr/teodorov/cours/CM1_Automates.pdf]
* 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]])
* C2 : Travail pratique ([[Média:SujetTD_automates.pdf|pdf]]) et correction TD ([[Média: SujetTD_correction.pdf |pdf]])

Dernière version du 17 juillet 2020 à 08:33

Interaction et vérification

T. Duval (site web - pages enseignement)

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])

C. Teodorov & Luka Le Roux

  • C1 : Langages et Automates [2]
  • C2 : Travail pratique (pdf) et correction TD (pdf)
  • C3 : Cours UPPAAL et TP (zip) et documentation UPPAAL (zip)
    • Téléchargement UPPAAL 4.0 ici
    • Spécification ascenseur (pdf)
  • C4 : Questions de recherche (pdf)
Récupérée de « http://siia.univ-brest.fr/w/index.php?title=IV/old&oldid=647 »