====== COSTO User Guide ======

===== Installation =====

[[uginstall|guide]]

[[costo:plugins:start|plugins descriptions]]

===== First steps =====

==== Import a Kmelia Project ====

[[ImportKmeliaProject]]

==== Create your first Kmelia Project ====

[[CreateKmeliaProject]]

==== Run examples ====

[[examples]]

==== Tutorials ====

[[tutorials]]

===== Case Studies =====

Writing specifications (see the ''spec/kmelia'' folder in COSTO)

  * ATM or french GAB
  * CoCoME
  * Chat application
  * AspectKml (M2R folder)
  * ...

{{costo:userguide:costo.specs.casestudies.jpg?200|}}

===== Libraries =====

  * [[Types]]
  * [[Operators]]
  * [[Functions]]
  * [[Others]]


===== How to run =====

  * [[Test the grammar]]
  * [[Load a specification]]

  * [[Generate LaTeX]] using a [[KmlStyle]]

  * [[Check with MEC]]
  * [[Check with LOTOS]]
  * [[Check with B]]
  * [[Verification Process]]
  * [[Run an application]]
  * [[Animate an application]]
  * [[Test a component]]
  * [[Test an application]]


===== And the show must go on =====

// the collaborative work starts here// :-\