swMATH10093MaRDI QIDQ22062FDOQ22062
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0167642308000439
Cited In (32)
- 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
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Melanee
- Specification and verification of declarative open interaction models. A logic-based approach
- Model transformations across views
- D-Finder
- AGG
- YAWL
- HOL-OCL
- Woflan
- Henshin
- Kermeta
- Moflon
- VIDEAS
- UML2Alloy
- UMLtoCSP
- FORMULA 2.0
- SPLLIFT
- Trustworthy variant derivation with translation validation for safety critical product lines
- XASM
- GGL
- GReAT
- RuleMerger
- VMQL
- GME
- AToMPM
- Amalgamation of domain specific languages with behaviour
- Multilevel typed graph transformations
- PTL: a model transformation language based on logic programming
This page was built for software: ATL
