A model-driven approach to formal refactoring

Tiago Massoni, Rohit Gheyi, Paulo Borba. A model-driven approach to formal refactoring. In Ralph E. Johnson, Richard P. Gabriel, editors, Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. pages 124-125, ACM, 2005. [doi]

@inproceedings{MassoniGB05,
  title = {A model-driven approach to formal refactoring},
  author = {Tiago Massoni and Rohit Gheyi and Paulo Borba},
  year = {2005},
  doi = {10.1145/1094855.1094895},
  url = {http://doi.acm.org/10.1145/1094855.1094895},
  tags = {meta-model, model refactoring, refactoring, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/MassoniGB05},
  cites = {0},
  citedby = {0},
  pages = {124-125},
  booktitle = {Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-193-7},
}