https://velo.wiki.ls2n.fr/ 2026-05-02T07:05:17+02:00 https://velo.wiki.ls2n.fr/ https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:descriptionform&rev=1522767575&do=diff ====================================================================== == == Partie I : Informations générales sur l'outil == ====================================================================== ----------------------------------------------------------------- -- I.1 : Nom ----------------------------------------------------------------- Costo (COmponent Study TOolkit) ----------------------------------------------------------------- -- I.2 : Équipe ----------------------------------… text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:information&rev=1522767575&do=diff Information Working area * 3 versions * operational + Data * Multipart and shared services * Composite (from Data), assembly types... * AO Kmelia * From M2R 2006-2007 * From PHD Miles * work on Contracts (CoLOC) * RT Kmelia * from the New ANR Loire text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:news&rev=1522767575&do=diff Information News * 18/11/08 : 3 versions * operational + Data * Multipart and shared services * Composite (from Data), assembly types... * 20/12/08 : objectives * finalise the operational + Data... text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:oldpage&rev=1522767575&do=diff The costo current website * <http://costo.univ-nantes.fr/> The Costo Old Page Description COSTO (Component Study Toolbox) is the companion tool of the Kmelia language. It is a set of Eclipse-based plugins we developed to support the specification and analysis of Kmelia component systems. COSTO manages the Kmelia specifications and handles the verification of the primary properties (syntactic analysis, type checking, static analysis, text/html 2018-04-03T16:59:35+02:00 https://velo.wiki.ls2n.fr/doku.php?id=costo:start&rev=1522767575&do=diff The Official Website * <http://costo.univ-nantes.fr/> The Costo Old Page oldpage