The following pages link to ATL: A model transformation tool (Q937394):
Displaying 16 items.
- ATL (Q22062) (← links)
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- GREAT: UML transformation tool for porting middleware applications (Q952750) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
- Simplified infrastructure for the transformation of XML models (Q1956977) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- On the interoperability of model-to-model transformation languages (Q2462419) (← links)
- Rule-based modularization in model transformation languages illustrated with ATL (Q2462421) (← links)
- Model transformations in MT (Q2462429) (← links)
- The model transformation language of the VIATRA2 framework (Q2462430) (← links)
- Multilevel Typed Graph Transformations (Q5100732) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)