COS-Tools
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
$
%
123
 
 
 
 
 
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKL
1
NameContactTechnologiesTypeParadigms
2
URLCOSMAL TeamsContact
3
FraSCAtihttp://frascati.ow2.orgADAMPhilippe MerleJava, Scripts, OSGi, BPEL, XML, SOAP, HTTP, RMIMiddleware platformComponent, Service, Architecture
4
Kevoreehttp://www.kevoree.orgTriskellFrançois Fouquet - Olivier BaraisJava, Android, Arduino, OSGi, XML, HTTPMiddleware platformComponent, Service, Architecture
5
Corahttps://www.lri.fr/~nhnghia/tools/coraLRI, LIP6Pascal PoizatBPELVerification toolChoreographies
6
COSTOhttp://www.lina.sciences.univ-nantes.fr/aelos/wiki/doku.php?id=costo:startAelosGilles Ardourel - Pascal AndréKmelia (LTS), Java + exports vers B, Mec, LOTOSSpecification, Verification toolComponent, Service, Architecture
7
Comanchehttps://github.com/cosmal/app-comancheADAMRomain RouvoyJava, GuiceCase studyObject, Service, Component
8
Kalimuchohttp://www.iutbayonne.univ-pau.fr/~rooseLIUPPA-T2IPhilippe Roose, Marc DalmauAndroid, Java, BPEL (à venir sur V 2.0)Middleware platformComponent, Service, Architecture - Orchestration (à venir sur V2.0)
9
ModHel'Xhttp://wwwdi.supelec.fr/software/ModHelX/SupélecFrédéric BoulangerJavaHeterogeneous modeling and simulation engineComponent, Models of computation
10
Kermetawww.kermeta.orgTriskellBenoit Combemale - Olivier BaraisJavaAction language with compostion operatorAction language, MDE
11
Js-scalahttps://github.com/js-scala/js-scalaTriskell - ZenexityJulien Richard FoyScalaProgramming language for the WebOO Design, Typing
12
PauWare Enginewww.pauware.comLIUPPA-MOVIESFranck BarbierJava EE, SE, ME and AndroidJava libraryModel-driven development
13
MooseRmod, IRDStephane DucassePharo SmalltalkSoftware and Data Analysis open source platformObject and metamodel driven
14
Pharohttp://www.pharo.orgrmod, lysic, Uria, IRDStephane Ducasseitselfopen-source SmalltalkObject-oriented programming
15
Software Product Line ExtractionLIP6Tewfik ZiadiJava
16
CARE (a platform for Comparison and Analysis of dynamic Reverse-Engineering techniques)http://care.lip6.fr/LIP6Tewfik ZiadiJava
17
RAMSES (Refinement of AADL Models for Synthesis of Embedded Systemshttp://penelope.enst.fr/aadl#RAMSESTELECOM ParisTechEtienne BordeATL, JavaModel transformation and code generation from AADL modelsArchitecture Analysis and Design Language (AADL)
18
Jerboa (rapid tool-set for generating reliable N-dimensional modeler) IG, XLim-SICAgnès Arnould, Hakim BelhaouariJavacode generation for geometric modeler design, topological verificationgraph rewriting
19
NEPTUNE (Nice Environment with a Process and Tools Using Norms and Example)http://neptune.irit.frMACAO - IRITThierry MillanJavaVérification statique de modèle avec OCLOCL, typage dynamique, modèles, métamodèles
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
Loading...
 
 
 
Survey
 
 
Main menu