Table des matières

Load a specification

Mode // executing inside Eclipse

(currently used by PA, MM)

Example : ATM

Run loader with those declarations in Costolib.userprefs

costo.specdir=spec/kmelia/ATM/
costo.basecomp=ATM_SYSTEM.cmp
costo.mainserv=behaviour

les spec au 23/02/09

Résultat de l'analyse

(encore des erreurs)

resspec.zip

Mode // AntTask

build.xml

not implemented yet

Mode // Plugin