ATL
From MaRDI portal
Software:22062
swMATH10093MaRDI QIDQ22062FDOQ22062
Author name not available (Why is that?)
Cited In (11)
- Variability-based model transformation: formal foundation and application
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- What is the natural abstraction level of an algorithm?
- Formal verification of complex business processes based on high-level Petri nets
- Multilevel Typed Graph Transformations
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Specification and verification of declarative open interaction models. A logic-based approach
- Model transformations across views
- Trustworthy variant derivation with translation validation for safety critical product lines
- Amalgamation of domain specific languages with behaviour
- PTL: a model transformation language based on logic programming
This page was built for software: ATL
