H ? « ‹ ← → › »

Language peer sets for Object-Z:
Australia↑
Australia/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Object-Z(ID:1649/obj022)

alternate simple view
Country: Australia
Designed 1991
Published: 1991

G. Rose, U Queensland 1991
Related languages
Z → Object-Z   Evolution of
Object-Z → CSP-OZ   Incorporated some features of
Object-Z → TCOZ   Incorporated features of
References:
  • (1991) "The Object-Z Specification Language: Version 1", TR 91-1, Software Verification Res Ctr, U Queensland, 1991.
  • Rose, G. (1992) Rose, G. "Object-Z", in Object Orientation in Z, S. Stepney et al eds, Springer 1992.
  • Smith, G. (1995) Smith, G. "A fully abstract semantics of classes for Object-Z" pp289-313
          in (1995) Formal Aspects of Computing 7(5) 1995
  • Smith, G., and Hayes, I. (1999) Smith, G., and Hayes, I. "Towards Real-Time Object-Z" pp49-65
          in Araki, K., Galloway, A. (1999) Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
  • Smith, G. (2000) Smith, G. "The Object-Z Specification Language" Kluwer Academic Publisher, 2000
          in Araki, K., Galloway, A. (1999) Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
  • Derrick, J. (2001) Derrick, J. and E. Boiten (2001). Refinement in Z and Object-Z : foundations and advanced applications. London ; New York, Springer.
          in Araki, K., Galloway, A. (1999) Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
  • Derrick, John and Boiten, Eerke (2002) Derrick, John and Boiten, Eerke "Combining Component Specifications in Object-Z and CSP" Abstract
          in (2002) Formal Aspects of Computing 13(2) May 2002
  • Mahony, Brendan and Jin Song Dong (2002) Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160 Abstract
          in (2002) Formal Aspects of Computing 13(2) May 2002
  • Smith, G. (2002) Smith, G. "An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems" pp267-285
          in Integrated Formal Methods (IFM 2002), LNCS 2335. (2002) Integrated Formal Methods (IFM 2002), LNCS 2335. Springer 2002
  • Smith, G., Kammuller, F., and Santen, T. (2002) Smith, G., Kammuller, F., and Santen, T. "Encoding Object-Z in Isabelle/HOL" pp82-99
          in (2002) ZB 2002: Formal Specification and Development in Z and B, LNCS 2272 Springer, 2002
  • Smith, Graeme and Hayes, Ian (2002) Smith, Graeme and Hayes, Ian "An Introduction to Real-Time Object-Z" pp128-141 Abstract
          in (2002) Formal Aspects of Computing 13(2) May 2002
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder