The following pages link to ATL (Q22062):
Displaying 11 items.
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Specification and verification of declarative open interaction models. A logic-based approach (Q1958400) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Model transformations across views (Q2266947) (← 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)
- Multilevel Typed Graph Transformations (Q5100732) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)