: Posters on Display Monday : Posters on Display Tuesday : Posters on Display Wednesday : Posters on Display Thursday
A Model-driven Approach to Formal Refactoring
Tiago Massoni, Federal University of Pernambuco
Rohit Gheyi, Federal University of Pernambuco
Paulo Borba, Federal University of Pernambuco
Applying refactorings to object-oriented systems usually affects source code and its associated models, involving complex efforts to keep those artifacts consistent. In this work, we show our formal investigation on how to consistently refactor programs in a model-driven manner, based on predefined semantics-preserving transformations and structural specifications.