Graph-Based (M)ILP Problem Specification Tool
Examples for the GIPS framework.
Open-source implementation of the Foundational Semantics for Executable UML Models (fUML) and Precise Semantics of UML Composite Structures (PSCS) specifications for Java.
Dissertation-related GIPS IHTP/IHTC projects.
Small example project that demonstrates eMoflon::IBeX usage in Github Action CI.
Add a description, image, and links to the model-driven-software-engineering topic page so that developers can more easily learn about it.
To associate your repository with the model-driven-software-engineering topic, visit your repo's landing page and select "manage topics."