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

"Formal Refactorings for Object Models"

 

 
Page
 

Printer-friendly

 
 


 : Student Research Presentations : Tuesday SRC on Display : Wednesday SRC on Display : Thursday SRC on Display

Formal Refactorings for Object Models

Rohit Gheyi, Federal University of Pernambuco
Tiago Massoni, Federal University of Pernambuco

Since it is difficult to prove refactorings' soundness, developers using refactoring tools have to rely on compilation and tests to guarantee the semantics preservation. In this paper, we propose a set of structural semantics-preserving model transformations for Alloy. We use the PVS to specify and prove the transformations' soundness.
 
.