OCL2AC

MaRDI QIDQ1349618swMATHFDO

Official website https://ocl2ac.github.io/home/

Source code repository https://github.com/OCL2AC/home

Cited in

(10)

• Constructing constraint-preserving interaction schemes in adhesive categories
• Constructing optimized validity-preserving application conditions for graph transformation rules
• Augur 2
• CheckVML
• Henshin
• DrAGoM
• OCLinEcore
• ENFORCe
• Analysis of graph transformation systems: native vs translation-based techniques
• Constructing optimized constraint-preserving application conditions for model transformation rules

This page was built for software: OCL2AC