Article View: comp.specification.z
Article #120Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
From: Robert D. Thompson
Date: Thu, 27 Jun 1991 21:56
Date: Thu, 27 Jun 1991 21:56
31 lines
1429 bytes
1429 bytes
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
Technical Details
Message-ID:
<7559@vela.acs.oakland.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!usc!samsung!umich!vela!rdthompsReferences:
<2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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