AeLoS - Architectures et Logiciels Sûrs

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====== The Official Website ======

  * [[http://costo.univ-nantes.fr/]]

====== The Detailed Kmelia Page ======

===== The Model =====

  * some related Kmelia publications [[http://www.lina.sciences.univ-nantes.fr/coloss/projects/kmelia/index.php|here]]
  * [[metamodel]]
  * [[glossary]]

===== The Kmelia Data Grammar =====

  * [[gramKml]] 29/01/2009
  * [[keywords]] 09/04/2009
  * [[kmelia:types:start|Kmelia Types and Functions]] 
  * [[kmelia:types:libraries|Kmelia Data Libraries]]
  * {{kmelia:kmelia.lang.gz|Coloration syntaxique Kmelia pour gedit}}
  * {{kmelia:kmelialatexstyle.zip|Style Latex pour Kmelia}}
  * {{kmelia:costolib_plugin_core_1.0.4.jar|Plugin Costo core à placer dans eclipse/dropins/plugins}}
  * {{kmelia:costolib_plugin_ui_1.0.5.jar|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 {{kmelia:simplest.pdf|pdf}}
  * second draft {{kmelia:simplest_v2.pdf|pdf}}
  * first metamodel [[metamodel|KMM]]
  * second metamodel [[metamodel_v2|KMM2]]
  * [[discussions|board 25/06/09]]

===== Verification =====

  * Dynamics
  * Assertions

====== Private area  ======

===== TODO list =====

[[kmlToDoList]]

===== Compte-rendus (french) =====

Compte-rendus de réunions de travail

  * par date [[kmelia:cr:start]]

AeLoS - Architectures et Logiciels Sûrs

Outils pour utilisateurs

Outils du site

Outils de la page