ATL
From MaRDI portal
Cited in
(35)- D-Finder
- AToMPM
- DIEGO
- ITP/OCL
- VIATRA2
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- YAWL
- AGG
- HOL-OCL
- Woflan
- Specification and verification of declarative open interaction models. A logic-based approach
- What is the natural abstraction level of an algorithm?
- VIDEAS
- UML2Alloy
- Kermeta
- Henshin
- Moflon
- Model transformations across views
- Formal verification of complex business processes based on high-level Petri nets
- UMLtoCSP
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- FORMULA 2.0
- SPLLIFT
- XASM
- Trustworthy variant derivation with translation validation for safety critical product lines
- RuleMerger
- GGL
- VMQL
- GReAT
- Amalgamation of domain specific languages with behaviour
- GME
- Multilevel typed graph transformations
- PTL: a model transformation language based on logic programming
- Melanee
- Variability-based model transformation: formal foundation and application
This page was built for software: ATL
