Automated Model Transformation and Its Validation Using AToM 3 and AGG

Juan de Lara, Gabriele Taentzer. Automated Model Transformation and Its Validation Using AToM 3 and AGG. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 182-198, Springer, 2004. [doi]

Abstract

Abstract is missing.