Velo - Vérification pour l'Environnement et le LOgiciel

• Welcome Pascal André (Coloss) welcome_cluj08.pdf
• CCMM1.1 Pascal André (Coloss) Vladiela Petraşcu (LCI) ccmm1.1_pacluj.ppt
• Process B Gilles Ardourel (Coloss) slidesgacluj.pdf
• N-Party Rendezvous versus Sending Messages Jean-Claude Royer (Obasco) slidesjcrcluj.pdf
• Test1 Case Study Analysis Pascal André (Coloss) slidespa_cluj08.pdf

• CCMM1.1 API Vladiela Petraşcu (LCI) ccmm1.1_api.ppt
• Econet Continuation Dan Chiorean (LCI) econetcontinuation_including_lci.ppt

• The jAbstractor Tool Tomas Poch (DSRG) dsrg_econet-cluj08_behaviorextraction.ppt
• TBP: Code-Oriented Component Behavior Specification Ondrej Sery (DSRG) dsrg_econet-cluj08_tbp.ppt
• Econet Continuation Frantisek Plasil (DSRG) econetcontinuation2.ppt

• Working sessions Pascal André (Coloss) working_cluj08.pdf

see also working groups

• project continuation
• publication
• integration issues (interface, glue, plugins, tools)

 * Metamodel: improvements, documentation, "hotline"
 * Process A: improvements, documentation, "hotline", test on the CoCoME, replace Recoder (?)
 * Process B: annotation chain, simple Java component abstraction, 
 * integration glue

 * Workshop report, project assessment
 * Fesca paper submission
 * ESF Project submission