Xref: utzoo comp.object:1069 comp.specification:34
Path: utzoo!attcan!uunet!wuarchive!zaphod.mps.ohio-state.edu!usc!ucsd!ames!uhccux!munnari.oz.au!cluster!metro!bunyip!moondance!batserver.cs.uq.oz.au!rduke
From: rduke@batserver.cs.uq.oz.au (Roger Duke)
Newsgroups: comp.object,comp.specification
Subject: object oriented Z
Message-ID: <2967@moondance.cs.uq.oz.au>
Date: 15 Mar 90 22:41:42 GMT
Sender: news@moondance.cs.uq.oz.au
Reply-To: rduke@batserver.cs.uq.oz.au
Followup-To: poster
Lines: 28


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.