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

projects:econet:materials:start

Table des matières

Econet Project Materials
- Project Overview
- Technical points
Subprojects
CoCoME Benchmark
Bibliography
Publications
Common Tools

Econet Project Materials

Project Overview

Technical points

Annotation language definition annotations
Behavioural Model Comparison behavioural_model_comparison
MetaModel definition meta_model
header to be defined for the project files java_header
Put your random Ideas and discussion pages here : gilles_random_ideas

Subprojects

Metamodels	Process A	Process B
meta_model	Process A	Process B

CoCoME Benchmark

CoCoME example assignment: ZIP
CoCoME solution in SOFA: PDF
Test1 Benchmark - Annoting a Java program from UML Models : test1

Bibliography

Bibliography work (project) here

Publications

Fesca 09 submission subfesca09.pdf
WCRE ?
CSMR ?
…

Common Tools

A page describing the common tools and alternatives common_tools

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