OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES and APPLICATIONS
 
 
Program
 


Program (2mb PDF)

Explore
  Invited Speakers
  Onward!
  Panels
  Workshops
Discover
  Research Papers
  Student Research Comp.
  Posters
  Doctoral Symposium
  Educators' Symposium
  Wiki Symposium
  Dynamic Lang. Symp.
Understand
  Tutorials
  Essays
  Practitioner Reports
  Demonstrations
Create
  DesignFest
  Lightning Talks
  FlashBoF
  Instant Arts School Exp.
 
Other Events
 
Resort Map (364kb PDF)
 
Resort Map (JPG)

 

 
Basket
 

view, help

"A Model-driven Approach to Formal Refactoring"

 

 
Page
 

Printer-friendly

 
 


 : 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.
 
.