MDA-Based Re-engineering with Object-Z

Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson. MDA-Based Re-engineering with Object-Z. In Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, pages 291-305, Springer, 2006. [doi]