« IV » : différence entre les versions

De Parcours SIIA
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
 
(13 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
Interaction et vérification
Interaction et vérification
<!--


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


A. Beugnard
A. Beugnard
* C1 : Généralités sur les interactions, interfaces et architecture -- ([[Média:IV-CAB-1.pdf|pdf]] ; english version [[Média:IV-CAB-1-en.pdf|pdf]])
* C2 : Interactions élémentaires à 2 ou plus -- ([[Média:IV-CAB-2.pdf|pdf]] ; english version [[Média:IV-CAB-2-en.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 ([https://www.imt-atlantique.fr/fr/personne/antoine-beugnard#edit-group-libre])
* Evaluation voir [[IV-spec]] : cette année 2021 choisir entre Enchères anglaises inversées et vote à main levée (avec variante)
<!--
C. Teodorov & Luka Le Roux
* C1 : Langages et Automates [http://www.ensta-bretagne.fr/teodorov/cours/CM1_Automates.pdf]
* C2 : Travail pratique ([[Média:SujetTD_automates.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]])


P. Dhaussy & C. Teodorov
-->

Dernière version du 23 novembre 2021 à 12:58

Interaction et vérification


A. Beugnard

  • C1 : Généralités sur les interactions, interfaces et architecture -- (pdf ; english version pdf)
  • C2 : Interactions élémentaires à 2 ou plus -- (pdf ; english version pdf)
  • C3 : Eléments de spécification, diagrammes -- (pdf)
  • Comparaison de la redéfinition et de la liaison dynamique entre langages ([1])
  • Evaluation voir IV-spec : cette année 2021 choisir entre Enchères anglaises inversées et vote à main levée (avec variante)