Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!usc!samsung!umich!vela!rdthomps
From: rdthomps@vela.acs.oakland.edu (Robert D. Thompson)
Newsgroups: comp.specification.z
Subject: Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
Message-ID: <7559@vela.acs.oakland.edu>
Date: 27 Jun 91 21:56:50 GMT
References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com>
Organization: Oakland University, Rochester MI.
Lines: 31

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