Abstract is missing.
- Two Basic Correctness Properties for ATL Transformations: Executability and CoverageElena Planas, Jordi Cabot, Cristina Gómez. 1-9 [doi]
- Compiling ATL with ContinuationsJesús Sánchez Cuadrado, Jesús M. Perera Aracil. 10-19 [doi]
- Using Metrics for Assessing the Quality of ATL Model TransformationsM. F. van Amstel, M. G. J. van den Brand. 20-34 [doi]
- Using ATL to Support Model-Driven Development of RubyTL Model TransformationsÁlvaro Jiménez, David Granada, Verónica Andrea Bollati, Juan M. Vara. 35-48 [doi]
- Extending ATL for Native UML Profile Support: An Experience ReportAndrea Randak, Salvador Martínez Perez, Manuel Wimmer. 49-62 [doi]
- A Revised Semantics for Rule Inheritance and Module Superimposition in ATLDennis Wagelaar. 63-74 [doi]
- A Static Analyzer for Model TransformationsAndreza Vieira, Franklin Ramalho. 75-88 [doi]
- WSCDL to WSBPEL: a Case Study of ATL-based TransformationRavi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, Slinger Jansen. 89-103 [doi]