Sustainable Computing for Continuous Engineering
With the increasing dependency of everyday life on computer-aided support, moving large portions of the needed application programming load from programming experts to application experts or even to end-users becomes a major challenge: In particular, typical daily adaptations and modifications should be in the hands of the application experts.
SCCE Projects
Model-Driven Engineering
![CINCO Logo](/assets/images/cinco.png)
CINCO
The generator-driven development environment for domain-specific graphical modeling tools
Visit Website![Pyro Logo](/assets/logos/pyro.png)
![PYRUS Logo](/assets/images/pyrus.png)
![Rig Logo](/assets/images/rig.png)
Verification
![M3C Logo](/assets/logos/m3c.png)
Machine Learning
ADD-Lib
The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting
Visit Website![ALEX Logo](/assets/logos/alex.png)
![AutomataLib Logo](/assets/logos/automatalib.png)
![Forest GUMP Logo](/assets/logos/forest-gump.png)
Forest GUMP
The Web-based tool for aggregating and interpreting Random Forests using ADDs
Visit Website![LearnLib Logo](/assets/logos/learnlib.png)