Refactoring object-oriented specifications with data and processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4468 LNCS, Issue , 2007, Pages 236-251

  Ruhroth, Thomas ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BEHAVIORAL RESEARCH; DATA PROCESSING; MATHEMATICAL MODELS; REUSABILITY; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE REUSABILITY; FORMAL METHODS;

CLASS HIERARCHY; PROCESS ALGEBRA; REFACTORING; STATE-BASED LANGUAGE; CLASS HIERARCHIES; EXTERNAL OBSERVER; FAILURES-DIVERGENCES; OBJECT Z; OBJECT-ORIENTED SPECIFICATIONS; PROCESS ALGEBRAS; REFACTORINGS; STATE BASED;

OBJECT ORIENTED PROGRAMMING;

EID: 37149046908     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72952-5_15     Document Type: Conference Paper

References (23)

1. Baar, T., Markovic̀., S.: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Technical report, Ecole Polytechnique Fédérale de Lausanne (2006)
2. Bannwart, F., Müller, P.: Changing Programs Correctly: Refactoring with Specifications. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 492-507. Springer, Heidelberg (2006)
3. Cornélio, M.L., Cavalcanti, A.L.C., Sampaio, A.C.A.: Refactoring by Transformation. In: REFINE'2002. Eletronic Notes in Theoretical Computer Science, vol. 70, Elsevier, Amsterdam (2002)
4. Cornélio, M.L.: Refactorings as Formal Refinment. PhD thesis, Universidade Federal de Pernambuco (2004)
5. Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)
6. de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP (1998)
7. Derrick, J., Wehrheim, H.: Model Transformations Incorporating Multiple Views. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 111-126. Springer, Heidelberg (2006)
8. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (Oct. 1997)
9. Fischer, C.: A combination of Object-Z and CSP. In: FMOODS '97, vol. 2, pp. 423-438. Chapman & Hall, Sydney, Australia (1997)
10. Fischer, C.: Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, University of Oldenburg (2000)
11. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, London (2004)
12. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs (1985)
13. Heckel, R., Thöne, S.: Behavior-preserving refinement relations between dynamic software architectures. In: 17th Int. Workshop on Algebraic Development Techniques, pp. 1-27 (2004)
14. Küster, J., Heckel, R., Engels, G.: Defining and validating transformations of UML models. In: HCC, pp. 145-152. IEEE Computer Society, Los Alamitos (2003)
15. McComb, T.: Refactoring Object-Z Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) EASE 2004. LNCS, vol. 2984, p. 69. Springer, Heidelberg (2004)
16. Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. Journal of Software Maintenance 17(4), 247-276 (2005)
17. McComb, T., Smith, G.: Architectural Design in Object-Z. In: Australian Software Engineering Conference (ASWEC'04), pp. 77-86. IEEE Computer Society Press, Los Alamitos (2004)
18. McComb, T., Smith, G.: Refactoring object-oriented specifications: A process for deriving designs. Technical Report SSE-2006-01, University of Queensland, Australia (May 2006)
19. Mens, T., Tourwé, T.: A survey of software refactoring. IEEE Trans. Software Eng. 30(2), 126-139 (2004)
20. Roscoe, W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)
21. Ruhroth, Th.: Refactoring Object-Z Specifications. In: 18th Nordic Workshop on Programming Theory (2006)
22. Van Der Straeten, R., D'Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: Bézivin, J. (ed.) Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 71210-1217. ACM Press, New York (2006)
23. Smith, G.: The Object-Z Specification Language. KAP (2000)