ENFORCe

swMATH44277MaRDI QIDQ5974410FDOQ5974410

Author name not available (Why is that?)

Official website: http://formale-sprachen.informatik.uni-oldenburg.de/~skript/fs-pub/enforce.pdf

Cited In (14)

• Constructing optimized validity-preserving application conditions for graph transformation rules
• CatLib
• DPOdactic
• GraJ
• Podmineny
• SiTra
• VxToolbox
• VisiGraphJS
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• DrAGoM
• Constructing optimized constraint-preserving application conditions for model transformation rules
• OCLinEcore
• OCL2AC
• Grez

This page was built for software: ENFORCe