A model-driven approach to formal refactoring

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 2005-January, Issue , 2005, Pages 124-125

  Massoni, Tiago ^a   Gheyi, Rohit ^a   Borba, Paulo ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

object models; program transformation; refactoring

Indexed keywords

AUTOMATION; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING;

DESIGN INFORMATION; FORMAL APPROACH; MAINTENANCE EFFORTS; MODEL DRIVEN APPROACH; MODEL-DRIVEN; OBJECT MODELING; OBJECT-ORIENTED SYSTEM; PROGRAM TRANSFORMATIONS; REFACTORINGS; SOURCE CODES;

LIFE CYCLE;

EID: 85042874466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094855.1094895     Document Type: Conference Paper

References (5)

1. P. Borba et al. Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52:53-100, October 2004.
2. R. Gheyi, T. Massoni, and P. Borba. Basic laws of object modeling. In SAVCBS, at ACM SIGSOFT 2004/FSE-12, pages 18-25, Newport Beach, United States, October 2004.
3. D. Jackson et al. A Micromodularity Mechanism. In Proceedings of the FSE/ESEC '01), pages 62-73. ACM Press, 2001.
4. W. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
5. J. Warmer et al. The Object Constraint Language: Getting Your Models Ready for MDA. Addison Wesley, second edition, 2003.