Partager cette page :

Séminaire au vert du Département Langage et Génie Logiciel de l'Irisa

le 7 avril 2011

09h00 - 17h30

ENS 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
Voir les résumés des interventions
Thématique(s)
Recherche - Valorisation, Vie de l'École

Mise à jour le 8 avril 2014