An extended semantic foundation for Object-Z

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 1996, Pages 194-205

  Griffiths, A ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY;

COMPOSITION FUNCTIONS; FORMAL SEMANTICS; INTERNAL STATE; OBJECT IDENTITY; SEMANTIC FOUNDATION; SOFTWARE COMPONENT;

SEMANTICS;

EID: 62349084783     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1996.566754     Document Type: Conference Paper

References (18)

1. G. Booch. Object-Oriented Design with Applications. Addison-Wesley, 1990.
2. D. Duke. Object-OrientedForinalSpecfication. PhD thesis, University of Queensland, 1991.
3. D. Duke and R. Duke. Towards a semantics for Object-Z. In D. Bjørner, C. Hoare, and H. Langmaack, editors, VDM90: VDM and Z!, volume 428 of Lecture Notes in Computer Science, pages 242-262. Springer-Verlag, 1990.
4. R. Duke. Integrating Formal Methods with Object-Oriented Software Engineering. In Joint Conference on Software Engineering, 1993.
5. R. Duke and 0. Rose. Modelling Object Identity. In Proceedings 16th Australian Computer Science Conference (ACSCJO), pages 93-100, February 1993.
6. A. Goldberg. Smalltalk-80: The language. Addison-Wesley, 1989.
7. A. Oriffiths. An Extended Semantic Foundation For ObjectZ. Technical Report 95-39, Software Verification Research Centre, Dept. of Computer Science, Univ. of Queensland, 1995.
8. A. Griffiths and G. Rose. A Semantic Foundation for Object Identity in Formal Specification. Object Oriented Systems, 2:195-215, December 1995.
9. R. Holt and D. deChampeaux. A Framework for Using Formal Methods In Object-Oriented Software Development. In Followup Report on ECOOP 91 Workshop W3: Object-Oriented Formal Methods, 1991.
10. B. F. Jacobs. Objects and classes, colagebraically. Technical Report CS-R9536, Centrum voor Wiskunde en Infonnatica (CWI), June 1995.
11. K. Lano. Refinement in Object-Oriented Specification Languages. In 6th Annual Refinement Workshop, 1994.
12. K. Lano. Formal Methods and Object-orientation: A Historical Perspective. FACS Europe-Series I Vol. 2, No. 1, pages 13-16, Summer 1995.
13. K. Lano and H. Haughton, editors. Object-Oriented Specfication Case Studies. Prentice-Hall, 1994.
14. B. Meyer. E!fel : The language. Prentice Hall Object-Oriented Series. Prentice-Hall, 1992.
15. S. Schuman and D. Pitt. Object-oriented Subsystem Specification. In Program Specfication and Transformation. North-Holland, 1987.
16. G. Smith. Ninth International Conference of Z Users. In J. P. Bowen and M. O. Hinchey, editors, Estending 34 for Object-Z, Lecture Notes in Computer Science. Springer-Verlag, 1995.
17. J. M. Spivey. Understanding Z: A specification language and its formal semantics, volume 3 of Cambridge Tracts in Theoretical Comput. Sci. Cambridge University Press, UK, 1988.
18. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.