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