An approach to invariant-based program refactoring

Electronic Communications of the EASST

Volumn 3, Issue , 2006, Pages

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

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Program invariants; Refactoring

Indexed keywords

EID: 85040309432     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.3.25.15     Document Type: Article

References (15)

1. G. Booch et al. The Unified Modeling Language User Guide. Object Technology. Addison Wesley, 1999
2. P. Borba et al. Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming 52:53-100, October 2004
3. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, E. Poll. An Overview of JML Tools and Applications. Software Tools for Technology Transfer, 2005
4. M. D. Ernst, J. Cockrell, W. G. Griswold, D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering 27(2):1-25, 2001
5. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, R. Stata. Extended Static Checking for Java. ACM SIGPLAN Notices 37(5):234-245, 2002
6. M. Fowler. Refactoring-Improving the Design of Existing Code. Addison Wesley, 1999
7. C. A. R. Hoare, I. J. Hayes, H. Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, B. A. Sufrin. Laws of Programming. Communications of the ACM 30(8):672-686, 1987
8. A. Kleppe et al. MDA Explained: the Practice and Promise of The Model Driven Architecture. Addison Wesley, 2003
9. S. Khurshid, D. Marinov, D. Jackson. An Analyzable Annotation Language. In Proceedings of the 17th OOPSLA. Pp. 231-245. ACM Press, 2002
10. B. Liskov, J. Guttag. Program Development in Java. Addison Wesley, 2001
11. K. R. M. Leino, P. Müller. Object Invariants in Dynamic Contexts. In ECOOP. Pp. 491-516. 2004
12. T. Massoni, R. Gheyi, P. Borba. A Model-driven Approach to Formal Refactoring. In Companion to the OOPSLA 2005. Pp. 124-125. USA, October 2005
13. T. Mens, T. Tourwe. A Survey of Software Refactoring. IEEE Transactions on Software Engineering 30(2):126-139, February 2004
14. W. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992
15. J. Warmer et al. The Object Constraint Language: Getting Your Models Ready for MDA. Addison Wesley, second edition, 2003