ENFORCe
From MaRDI portal
Cited in
(14)- OCLinEcore
- OCL2AC
- Constructing optimized validity-preserving application conditions for graph transformation rules
- A flexible and easy-to-use library for the rapid development of graph tools in Java
- DrAGoM
- VxToolbox
- SiTra
- GraJ
- VisiGraphJS
- Grez
- Podmineny
- CatLib
- DPOdactic
- Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for software: ENFORCe
