We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges
Ever thought about developing a parser for ATL? Well, they did and now explain how and why.
The easiest way to call ATL transformations from a Java class. Unleash the power of the ATL engine outside of its eclipse-plugin capsule
A feature-based review of all bidirectional transformation approaches plus our view on the open research challenges in the area