Bunches for object-oriented, concurrent, and real-time specification

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

Volumn 1708, Issue , 1999, Pages 530-550

  Paige, Richard F ^a   Hehner, Eric C R ^b  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

OBJECT ORIENTATION; OBJECT ORIENTED; OBJECT-ORIENTED CONCEPTS; REAL TIME; REAL TIME SPECIFICATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 84958061066     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_30     Document Type: Conference Paper

References (16)

1. M. Abadi and L. Cardelli. A Theory of Objects, Springer-Verlag, 1996.
2. A. Bunkenburg and J. Morris. Formal Bunch Theory. Draft.
3. R. Duke, G. Rose, and G. Smith. Object-Z: A Specification Language advocated for the description of standards. Computer Standards and Interfaces 17(5), 1995.
4. A. Hall. Specifying and Interpreting Class Hierarchies in Z. In Proc. Eighth Z User Meeting, Workshops in Computing Series, Springer-Verlag, 1994.
5. E.C.R. Hehner. Bunch Theory: A Simple Set Theory for Computer Science. Information Processing Letters 12(1), 1981.
6. E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.
7. K. Lano. Formal Object-Oriented Development, Springer-Verlag, 1995.
8. B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: an introduction to TCOZ. In Proc. ICSE ’98, IEEE Press, 1998.
9. B. Meyer. Object-Oriented Software Construction, Second Edition, Prentice-Hall, 1997.
10. R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing 10(3):233-242, June 1999.
11. R.F. Paige. Integrating a Program Design Calculus and UML. To appear in The Computer Journal, 1999.
12. A. Silberschatz and P. Galvin. Operating System Concepts 5e, Addison-Wesley, 1997.
13. G. Smith. A Semantic Integration of Object-Z and CSP. In Proc. FME’97, LNCS 1313, Springer-Verlag, 1997.
14. E.V. Sorenson, A.P. Ravn, and H. Rischel. Control Program for a gas burner, Technical Report ID/DTH EVS2, Computer Science Department, Technical University of Denmark, Lyngby, Denmark, 1989.
15. S. Stepney, R. Barden, and D. Cooper. Object-Orientation in Z, Springer-Verlag, 1992.
16. M. Utting. An Object-Oriented Refinement Calculus with Modular Reasoning. PhD Dissertation, University of New South Wales, October 1992.