MASSONI, Tiago; GHEYI, Rohit; BORBA, Paulo.
Formal Refactoring for UML Class Diagrams. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 19. , 2005, Uberlândia/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2005
.
p. 152-167.
DOI: https://doi.org/10.5753/sbes.2005.23817.