Refactoring object-Z specifications

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

Volumn 2984, Issue , 2004, Pages 69-83

  McComb, Tim ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; SOFTWARE ENGINEERING; SPECIFICATIONS;

LEVEL DESIGN; OBJECT ORIENTED; OBJECT ORIENTED DESIGN; OBJECT ORIENTED PLATFORMS; OBJECT Z; OBJECT-Z SPECIFICATION; REFACTORINGS;

OBJECT ORIENTED PROGRAMMING;

EID: 33749408850     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24721-0_5     Document Type: Article

References (22)

1. M. Bonsangue, J. Kok, and K. Sere. An approach to object-orientation in action systems. In Mathematics of Program Construction (MPC'98), volume 1422 of LNCS, pages 68-95. Springer-Verlag, June 1998.
2. M. Bonsangue, J. Kok, and K. Sere. Developing object-based distributed systems. In Proc. of the 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), pages 19-34. Kluwer, 1999.
3. E. Casais. An incremental class reorganization approach. In O. Madsen, editor, Proc. ECOOP'92, volume 615 of LNCS, pages 114-132. Springer-Verlag, June 1992.
4. M. Cornelio, A. Cavalcanti, and A. Sampaio. Refactoring by Transformation. In Proc. of REFINE'2002, Electronic Notes in Theoretical Computer Science. Elsevier, July 2002.
5. J. Derrick and E. Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT Series. Springer, May 2001.
6. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
7. S. Goldsack and K. La.no. Annealing and data decomposition in VDM. ACM Sigplan Notices, 31(4):32-38, April 1996.
8. D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the SUM specification language. In W. Wong and K. Leung, editors, Asia Pacific Software Engineering Conference (APSEC 97), pages 42-51. IEEE Computer Society, 1997.
9. T. Hopkins and B. Horan. Smalltalk: An Introduction to Application Development Using VisualWorks. Prentice-Hall, 1995.
10. K. Lano and S. Goldsack. Refinement of distributed object systems. In Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, 1996.
11. K. Lano. Formal Object-oriented Development. Springer Verlag, 1995.
12. J. Lu. Introducing data decomposition into VDM for tractable development of programs. ACM SIGPLAN Notices, 30(9), September 1995.
13. Z. Manna and R. Waldinger. Synthesis: Dreams ⇒ programs. IEEE Transactions on Software Engineering, 5(4):294-328, July 1979.
14. T. Mens, Serge Demeyer, and Dirk Janssens. Formalising behaviour preserving program transformations. In Proc. Int'l Conf. Graph Transformation, volume 2505 of Lecture Notes in Computer Science, pages 286-301. Springer-Verlag, 2002.
15. A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-oriented programs. In Proc. of the Fourth International Formal Methods Europe Symposium (FME'97), volume 1313 of LNCS. Springer-Verlag, 1997.
16. I. Moore. Automatic inheritance hierarchy restructuring and method refactoring. In OOPSLA '96: Proc. Object-Oriented Programming Systems, Languages, and Applications, pages 235-250. ACM Press, 1996.
17. C. C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science, 2nd edition, 1994.
18. W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, Computer Science Department, Urbana-Champaign, IL, USA, May 1992.
19. D. Roberts, J. Brant, and R. Johnson. A refactoring tool for Smalltalk. Theory and Practice of Object Systems, 3:253-263, 1997.
20. R. Lämmel. Towards generic refactoring. In Third ACM SIGPLAN Workshop on Rule-Based Programming. ACM Press, 2002.
21. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7(3):289-313, 1995.
22. G. Smith. The Object-Z Specification Language. Kluwer, 2000.