rduke@batserver.cs.uq.oz.au (Roger Duke) (03/16/90)
In article <1074@darkstar.fmg.bt.co.uk> to comp.object,
elc@fmg.bt.co.uk (Elspeth Cusack) discussed Object-Z, an object-oriented
extension of Z being developed at the University of Queensland.
Reference to this work can be found in
D. Carrington, D. Duke, R. Duke, P. King, G. Rose and G. Smith
"Object-Z: An object-oriented extension to Z"
Formal Description Techniques (FORTE'89), Vancouver, December, 1989
(proceedings to be published by North Holland)
D.Duke and R. Duke
"Towards a semantics for Object-Z"
VDM'90: VDM and Z!, Kiel, April, 1990
(proceedings to be published by Springer-Verlag(LNCS series))
Also, several other papers have been prepared and submitted. Anyone
interested can contact
Roger Duke
Key Centre for Software Technology
Department of Computer Science
University of Queensland
St. Lucia, Queensand
AUSTRALIA 4067
(or Fax: +61 371 0783 or email)
The work on Object-Z comes out of collaborative work with OTC Australia
on the specifiation of communication protocols.