« IV » : différence entre les versions

De Parcours SIIA
Aller à la navigation Aller à la recherche
mAucun résumé des modifications
m (suppression lien visio)
Ligne 6 : Ligne 6 :
* C1 : Généralités sur les interactions, interfaces et architecture -- ([[Média:IV-CAB-1.pdf|pdf]])
* 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]])
* 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]]) ([https://imt-atlantique.webex.com/imt-atlantique/j.php?MTID=maf0a05a92c633e8ab1ada549ce5d6209 visio])
* 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 ([https://www.imt-atlantique.fr/fr/personne/antoine-beugnard#edit-group-libre])
* Comparaison de la redéfinition et de la liaison dynamique entre langages ([https://www.imt-atlantique.fr/fr/personne/antoine-beugnard#edit-group-libre])



Version du 3 novembre 2020 à 15:50

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