Decoupling in object orientation

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 43-58

  Kassios, Ioannis T ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Object orientation; Specification and refinement

Indexed keywords

COMPUTER SOFTWARE; ENCAPSULATION; SEMANTICS;

FORMAL DESIGN; OBJECT ORIENTATION; SPECIFICATION AND REFINEMENT;

OBJECT ORIENTED PROGRAMMING;

EID: 26444545484     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_5     Document Type: Conference Paper

References (19)

1. M. Abadi and K. R. M. Leino. A logic of object-oriented programs. In M. Bidoit and M. Dauchet, editors, Proceedings of TAPSOFT'97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 682-696. Springer-Verlag, 1997.
2. A. J. Alencar and J. A. Goguen. OOZE: An object-oriented Z environment. In P. America, editor, Proceedings of ECOOP'91: European Conference on Object-Oriented Programming, volume 512 of Lecture Notes in Computer Science, pages 180-199. Springer-Verlag, 1991.
3. R. Back, L. Mikhajlov, and J. von Wright. Formal semantics of inheritance and object substitutability. Technical Report 337, Turku Centre for Computer Science, Lemminkäisenkatu 14, FIN-20520, Turku, Finland, 2000.
4. R. Back, A. Mikhajlova, and J. vonWright. Class refinement as semantics of correct object substitutability. Technical Report 333, Turku Centre for Computer Science, Lemminkäisenkatu 14, FIN-20520, Turku, Finland, 2000.
5. R. Back and J. vonWright. Refinement Calculus. A Systematic Introduction. Graduate Texts in Computer Science. Springer-Verlag, 1998.
6. A. Cavalcanti and D. A. Naumann. A weakest precondition semantics for an object-oriented language of refinement. In J. M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of the FM'99 World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1439-1459. Springer-Verlag, 1999.
7. W. P. deRoever and K. Engelhardt. Data Refinement: Model Oriented Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998.
8. J.A Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, Series in Computer Systems, pages 417-477. MIT Press, 1987.
9. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object systems. In Proceedings of ICCI2002, pages 69-77. IEEE Computer Society, 2002.
10. E. C. R. Hehner. A Practical Theory of Programming. Current edition, 2004. Available on-line: http://www.cs.toronto.edu/~hehner/aPToP/ First edition was published by Springer-Verlag in 1993.
11. C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice Hall Series in Computer Science. Prentice Hall, 1998.
12. I. T. Kassios. Object orientation in predicative programming, unification and decoupling in object orientation. Technical Report 500, Computer Systems Research Group, University of Toronto, 2004. Available on-line: http://www.cs.toronto.edu/~ykass/work/oopp.ps.gz.
13. K. Lano. Formal Object-Oriented Development. Springer-Verlag, 1995.
14. G. T. Leavens. An overview of Larch/C++. behavioral specifications for C++ modules. Technical Report TR96-01e, Department of Computer Science, Iowa State University, 1996.
15. S. Meira and A. Cavalcanti. Modular object-oriented Z specifications. In Z User Meeting 1990, Workshops in Computing, pages 173-192. Springer-Verlag, 1990.
16. B. Meyer. Object-Oriented Software Construction. The Object-Oriented Series. Prentice Hall, 2nd edition, 1997.
17. R. F. Paige and E. C. R. Hehner. Bunches for object-oriented, concurrent and real time specification. In J. M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of the FM'99 World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 530-550. Springer-Verlag, 1999.
18. E. Sekerinski. A type-theoretic basis for an object-oriented refinement calculus. In S. J. Goldsack and S. J. H. Kent, editors, Formal Methods and Object Technology. Springer-Ver lag, 1996.
19. G. Smith. The Object Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.