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
The generator-driven development environment for domain-specific graphical modeling tools
Visit Website
Verification
Machine Learning
ADD-Lib
The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting
Visit Website
Forest GUMP
The Web-based tool for aggregating and interpreting Random Forests using ADDs
Visit Website
