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