Séminaire au vert du Département Langage et Génie Logiciel de l'Irisa
le 7 avril 2011
09h00 - 17h30ENS Rennes Amphithéâtre
Programme :
- 9h00 : Accueil (Café)
- 9h30 : Interfaces and model driven engineering - N. Plouzeau (Triskell)
- 10h20 : Théorie d'interfaces : méthodologie, propriétés algébriques et illustrations - B. Caillaud
- 11h10 : Interfaces and Modularity in Distribcom - L. Hélouet
- 12h00 : Pause Déjeuner (buffet)
- 13h30 Refinement relations for timed systems - N. Bertrand
- 14h20 Spécification et validation de politiques de copie d'objet - D. Pichardie
- 15h10 : Pause café
- 15h30 : Interfaces asynchrones de composants synchrones - JP. Talpin
- 16h20 : Tour de table
- 17h30 : Fin
- Thématique(s)
- Recherche - Valorisation, Vie de l'École
Mise à jour le 8 avril 2014