Table des matières
The Official Website
The Detailed Kmelia Page
The Model
The Kmelia Data Grammar
Testing Kmelia specifications
The Kmelia Semantics page
Verification
Private area
TODO list
Compte-rendus (french)
The Official Website
http://costo.univ-nantes.fr/
The Detailed Kmelia Page
The Model
some related Kmelia publications
here
metamodel
glossary
The Kmelia Data Grammar
gramKml
29/01/2009
keywords
09/04/2009
Kmelia Types and Functions
Kmelia Data Libraries
Coloration syntaxique Kmelia pour gedit
Style Latex pour Kmelia
Plugin Costo core à placer dans eclipse/dropins/plugins
Plugin Costo UI à placer dans eclipse/dropins/plugins
Testing Kmelia specifications
Preliminaries
test_kml
Model test process
kmltestprocess
Kmelia test issues
kmltestissues
The Kmelia Semantics page
first draft
pdf
second draft
pdf
first metamodel
KMM
second metamodel
KMM2
board 25/06/09
Verification
Dynamics
Assertions
Private area
TODO list
kmlToDoList
Compte-rendus (french)
Compte-rendus de réunions de travail
par date
cr