Synchronizing Model and Program Refactoring - Formal Methods: Foundations and Applications - page 111

4. Liskov,B.,Guttag,J.:ProgramDevelopmentinJava.Addison-Wesley,Reading(2001)
5. Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Transactions on
Software Engineering 30, 126-139 (2004)
6. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Appli-
cations with Patterns, Models, Frameworks, and Tools. Wiley, Chichester (2004)
7. France, R.B., Rumpe, B.: Model-driven development of complex software: a re-
search roadmap. In: FOSE 2007, pp. 37-54 (2007)
8. Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Definitions for round-
trip engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008.
LNCS, vol. 5063, pp. 31-45. Springer, Heidelberg (2008)
9. Harrison, W., Barton, C., Raghavachari, M.: Mapping UML Designs to Java. In:
Proceedings of OOPSLA 2000, pp. 178-187 (2000)
10. Lammel, R.: Coupled software transformations. In: SET, pp. 31-35 (2004)
11. Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Busch, C.,
Ober, I., Bruel, J.-M., Uhl, A., Volter, M. (eds.) MODELS 2008. LNCS, vol. 5301,
pp. 21-36. Springer, Heidelberg (2008)
12. Stevens, P.: A Landscape of Bidirectional Model Transformations. In: Lammel, R.,
Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 408-424. Springer,
Heidelberg (2008)
13. Bohannon, A., Pierce, B., Vaughan, J.: Relational lenses: a language for updatable
views. In: PODS, pp. 338-347 (2006)
14. Massoni, T., Gheyi, R., Borba, P.: Formal model-driven program refactoring. In:
FASE-ETAPS 2008, pp. 362-376 (2008)
15. Massoni, T., Gheyi, R., Borba, P.: An approach to invariant-based program refac-
toring. In: Setra Workshop 2006, pp. 91-101 (2006)
16. Gheyi, R., Massoni, T., Borba, P.: A static semantics for alloy and its impact in
refactorings. ENTCS 184, 209-233 (2007)
17. Massoni, T.: A Model-Driven Approach to Formal Refactoring. PhD thesis, UFPE
(2008)
18. Borba, P., Sampaio, A., Cavalcanti, A., Cornelio, M.: Algebraic Reasoning for
Object-Oriented Programming. Science of Computer Programming 52, 53-100
(2004)
19. Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation in-
dependence for object-oriented programs. Journal of the ACM 52, 894-960 (2005)
20. Gheyi, R., Massoni, T., Borba, P.: An abstract equivalence notion for object mod-
els. ENTCS vol.130, pp.3-21 (2005)
21. Gheyi, R., Massoni, T., Borba, P.: A Complete Set of Object Modeling Laws for
Alloy. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol. 5902, pp.
204-219. Springer, Heidelberg (2009)
22. Massoni, T., Gheyi, R., Borba, P.: Synchronizing model and program refactoring
(2010), http://www.dsc.ufcg.edu.br/ ~ spg/uploads/massoni-tech10.pdf
23. Morgan, C.: Programming from Specifications, 2nd edn. Prentice-Hall, Englewood
Cliffs (1998)
24. Clarke, D.: Object Ownership and Containment. PhD thesis, UNSW (2001)
25. Barnett, M., DeLine, R., Fahndrich, M., Leino, K.R.M., Schulte, W.: Verification of
Object-Oriented Programs with Invariants. Journal of Object Technology 3, 27-56
(2004)
26. Martin, A.: Machine-Assisted Theorem-Proving for Software Engineering. PhD
thesis, Penbroke College (1994)
27. Antkiewicz, M., Czarnecki, K.: Design space of heterogeneous synchronization. In:
GTTSE, Braga, Portugal, pp. 3-46 (2008)