« IV » : différence entre les versions
Aller à la navigation
Aller à la recherche
mAucun résumé des modifications |
Aucun résumé des modifications |
||
| (4 versions intermédiaires par 2 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]]) | * 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]]) | * 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] | * 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]) | ||
* 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 | C. Teodorov & Luka Le Roux | ||
| Ligne 16 : | Ligne 23 : | ||
** Spécification ascenseur ([[Média:Fiche6_TP_ModVal_UPPAAL_Ascenseur_22nov17.pdf|pdf]]) | ** Spécification ascenseur ([[Média:Fiche6_TP_ModVal_UPPAAL_Ascenseur_22nov17.pdf|pdf]]) | ||
* C4 : Questions de recherche ([[Média: CM3_ResearchQuestions.pdf|pdf]]) | * C4 : Questions de recherche ([[Média: CM3_ResearchQuestions.pdf|pdf]]) | ||
--> | |||
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)