Formal Refactoring for UML Class Diagrams

Tiago Massoni, Rohit Gheyi, Paulo Borba. Formal Refactoring for UML Class Diagrams. In Arndt von Staa, editor, Proceedings of the 19th Brazilian Symposium on Software Engineering, SBES 2005, Uberlândia, MG, Brazil, October 3-7, 2005. pages 152-167, SBC, 2005. [doi]

@inproceedings{MassoniGB05-0,
  title = {Formal Refactoring for UML Class Diagrams},
  author = {Tiago Massoni and Rohit Gheyi and Paulo Borba},
  year = {2005},
  doi = {10.5753/sbes.2005.23817},
  url = {https://doi.org/10.5753/sbes.2005.23817},
  researchr = {https://researchr.org/publication/MassoniGB05-0},
  cites = {0},
  citedby = {0},
  pages = {152-167},
  booktitle = {Proceedings of the 19th Brazilian Symposium on Software Engineering, SBES 2005, Uberlândia, MG, Brazil, October 3-7, 2005},
  editor = {Arndt von Staa},
  publisher = {SBC},
}