Author of the publication

Formal Model-Driven Program Refactoring.

, , and . FASE, volume 4961 of Lecture Notes in Computer Science, page 362-376. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refactoring Alloy Specifications, and . Electronic Notes in Theoretical Computer Science, (May 2004)A Refinement Theory for Alloy. Universidade Federal de Pernambuco, (July 2007)Automatically Checking Feature Model Refactorings., , and . J. Univers. Comput. Sci., 17 (5): 684-711 (2011)Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices., , , , , , , and . Empir. Softw. Eng., 26 (5): 92 (2021)Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?, , , , and . IEEE Trans. Software Eng., 49 (3): 1152-1170 (March 2023)Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)., and . Sci. Comput. Program., (2015)Enhancing conformance checking for contract-based programs., , and . SPLASH (Companion Volume), page 57-58. ACM, (2014)Evaluating the Code Comprehension of Novices with Eye Tracking., and . SBQS, page 332-341. ACM, (2023)Mutation Operators for Java Streams., , , , , and . SAST, page 59-68. ACM, (2022)Revisiting Refactoring Mechanics from Tool Developers' Perspective., , , , , and . SBMF, volume 12475 of Lecture Notes in Computer Science, page 25-42. Springer, (2020)