rdthomps@vela.acs.oakland.edu (Robert D. Thompson) (06/28/91)
People, I was interested in Z a while back when I was writing a paper on Object Oriented Analysis and Design. This group is sure to re-spark my interest. Here is a good introductory text that provides several chapters on the Z specification language. "An Introduction to Discrete Mathematics and Formal System Specification", D.C. INCE, Open University. Claredon Press, Oxford, 1988. There are three parts to the book. Part I deals with software development. Part II deals with Prop. and Pred. Calculus, and Set Theory. Part III deals with Z and contains the following chapters, 9 The Specification Lanuguage Z 10 Operators and Objects in Z 11 The Z Schema Calculus 12 Z Specifications in Action - The University of Lincoln Library System APPENDIX: Definition of Z Operators Regards |(8> --- Robert rdthomps@vela.acs.oakland.edu
thomo@cs.uq.oz.au (John Thomas) (06/28/91)
In <7559@vela.acs.oakland.edu> rdthomps@vela.acs.oakland.edu (Robert D. Thompson) writes: >People, > I was interested in Z a while back when I was writing a paper > on Object Oriented Analysis and Design. [refs deleted] Perhaps you might be interested in Object-Z. The object-oriented version of Z developed here at the University of Queensland. Sure beats plain old Z. *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* EMAIL: thomo@cs.uq.oz.au Ph: (07) 365 2726 SNAIL: John Thomas, +------------------+ c/o Computer Science Department, | And remember, | University of Queensland, | A HONKED nose is | Queensland, 4072 Australia. | a HAPPY nose ! | +------------------+ *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
rdthomps@vela.acs.oakland.edu (Robert D. Thompson) (06/28/91)
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes: >In <7559@vela.acs.oakland.edu> rdthomps@vela.acs.oakland.edu (Robert D. Thompson) writes: > >>People, > >> I was interested in Z a while back when I was writing a paper >> on Object Oriented Analysis and Design. >[refs deleted] > > Perhaps you might be interested in Object-Z. The object-oriented > version of Z developed here at the University of Queensland. > > Sure beats plain old Z. John, How about some references for everybody in the group! I would love to get a thread going about Object-Z. I am anxious to get my hands on something. How about an ftp site, or something. Heck, e-mail me something! Thanks...Regards |(8> --- Robert rdthomps@vela.acs.oakland.edu
blakemor@software.org (Alex Blakemore) (06/28/91)
In article <2193@uqcspe.cs.uq.oz.au> thomo@cs.uq.oz.au writes: > Perhaps you might be interested in Object-Z. The object-oriented > version of Z developed here at the University of Queensland. how about some references or an anonymous ftp site for papers describing object-z. sounds interesting. -- --------------------------------------------------------------------- Alex Blakemore blakemore@software.org (703) 742-7125 Software Productivity Consortium 2214 Rock Hill Rd, Herndon VA 22070