Meeting 5 - 08-10 Novembre 2010 - Toulouse

Lundi 08 Novembre 2010

  • 08h30-08h45 : Accueil et Point sur l'agenda
  • 08h45-12h30 : Préparation de la revue
    • discuter sur les perimetres et les formats (meta-modele, syntaxe abstraite, type inductif, …)
    • representation interne des differents composants Quarteft (TOM, Tom-Emf, RT-Fiacre, Tina)
    • Specification/Verification : RT-Fiacre, Tina
    • Transformation : TOM, TOM-EMF
  • 13h30-14h30 : Retour des groupes
  • 14h30-16h00 : AADL, Adele, Mauve
  • 16h00-18h00 : Consolidation de l'agenda revue

Mardi 09 Novembre 2010

  • 08h30-10h00 : Architecture logicielle de l'atelier
    • Forme des composants
    • Interface des \= composants
    • Architecture globale de l'atelier
  • 10h00-12h00 : Poursuite discussion Architecture sur formats des donnees echangees
  • 14h00-18h00 : Debut de la Revue

Mercredi 10 Novembre 2010

  • 08h00-12h00 : Suite de la revue
  • 14h00-16h00 : Travail en groupes