A minimal set of refactoring rules for object-Z

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

Volumn 5051 LNCS, Issue , 2008, Pages 170-184

  McComb, Tim ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CANNING; EQUIVALENCE CLASSES; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CLASS REFINEMENT; INTERNATIONAL CONFERENCES; OBJECT-ORIENTED ARCHITECTURES; OBJECT-Z; OBJECT-Z SPECIFICATIONS; OPEN OBJECT-BASED DISTRIBUTED SYSTEMS; REFACTORING; RULE SET;

LAWS AND LEGISLATION; FORMAL METHODS;

ARBITRARY OBJECTS; CLASS REFINEMENT; OBJECT Z; OBJECT-Z SPECIFICATION; REFACTORINGS; RULE SET;

EID: 46049087559     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68863-1_11     Document Type: Conference Paper

References (16)

1. Java 2 Platform Standard Edition 5.0, http://java.sun.com/j2se/1.5.0/ guide/
2. Borba, P., Sampaio, A., Cavalcanti, A., Cornelio, M.: Algebraic Reasoning for Object-Oriented Programming. Sci. Comput. Program. 52(1-3), 53-100 (2004)
3. Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT Series. Springer, Heidelberg (2001)
4. Estler, H.-C., Ruhroth, T., Wehrheim, H.: Modelchecking correctness of refactorings - some experiments. ENTCS 187, 3-17 (2007)
5. Gheyi, R., Borba, P.: Refactoring Alloy specifications. ENTCS 95, 227-243 (2004)
6. Jackson, D.: Alloy: a lightweight object modelling notation. Software Engineering and Methodology 11(2), 256-290 (2002)
7. Lano, K.: Formal Object-oriented Development. Springer, Heidelberg (1995)
8. Lano, K., Goldsack, S.: Refinement of Distributed Object Systems. In: Najm, E., Stefani, J.-B. (eds.) Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems, pp. 99-114. Chapman and Hall, Boca Raton (1996)
9. McComb, T.: Refactoring Object-Z Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 69-83. Springer, Heidelberg (2004)
10. McComb, T.: Formal Derivation of Object-Oriented Designs. PhD thesis, The University of Queensland (2007)
11. McComb, T., Smith, G.: Architectural Design in Object-Z. In: Strooper, P. (ed.) ASWEC 2004: Australian Software Engineering Conference, pp. 77-86. IEEE Computer Society Press, Los Alamitos (2004)
12. McComb, T., Smith, G.: Compositional class refinement in Object-Z. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 205-220. Springer, Heidelberg (2006)
13. Ruhroth, T., Wehrheim, H.: Refactoring object-oriented specifications with data and processes. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 236-251. Springer, Heidelberg (2007)
14. Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)
15. ++ Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc, Boston (1997)
16. Woodcock, J.C.P., Davies, J.: Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science (1996)