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