All Categories → No Category → model-driven-development

Top 4 model-driven-development open source projects

A multi-formalism, multi-solution model-checker centered on the language GAL

✭ 17

java Promela Xtend perl HTML SMT eclipse ltl safety model-checking petri-net model-driven-development ctl

Transformation cartridges for generating Symfony bundles from ModuleStudio models.

✭ 21

Xtend java twig symfony generator doctrine zikula model-driven-development bundles mdsd

The ThingML modelling language

✭ 91

java c Xtend HTML javascript C++arduino state-machine statechart uml internet-of-things model-driven-development modeling-language xtext thingml eclipse-modeling

yet another code generation

✭ 37

python Mako shell Dockerfile docker model-driven-development

1-4 of 4 model-driven-development projects