projects:econet:pragues2007:materials [Velo - Vérification pour l'Environnement et le LOgiciel]

projects:econet:pragues2007:materials

Table des matières

Workshop Materials
- Teams presentations and technical presentations
- Working Materials

Workshop Materials

Teams presentations and technical presentations

COLOSS

Team presentation by Gilles Ardourel teamcoloss.pdf
The Kmelia Component Model Hierarchical Service Description and Analysis Pascal André slides_kmelia.pdf

LCI

Team presentation by Dan Chiorean lci_prague.ppt
(UML) Model Checking - an OCL Based Approach Dan Chiorean modelchecking_econet_prague.ppt

DSRG

Team presentation by Frantisek Plasil teamdsrg.ppt
SOFA overview Petr Hnetynka sofa2-slides.pdf
(Extended) Behavior protocols + demo application (from CoCoME contest) Jan Kofron ebp.pdf
Checking behavior protocols against code using Java PathFinder Pavel Parizek jpfbpc-slides.pdf

OBASCO

Team presentation by Jean-Claude Royer teamobasco.pdf
Verification and boundedness Jean-Claude Royer fmoods06.pdf
Rendezvous principle Jean-Claude Royer cpa07.pdf
The STSLib project Jean-Claude Royer facs07.pdf

Working Materials

Project Material

>> [[econet:materials:start|here]] <<

Blackboards

issues * meta-model * architecture

Project Overview

Technical points

Annotation language definition annotations
Behavioural Model comparison behavioural_model_comparison
MetaModel definition meta_model

Others

… Put your random Ideas and discussion pages here : gilles_random_ideas

CoCoME example assignment: ZIP

CoCoME solution in SOFA: PDF

projects/econet/pragues2007/materials.txt · Dernière modification: 2018/04/03 16:59 (modification externe)