windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) (02/21/91)
I'm teaching a course next semester on software specification using Z. I'm looking for case studies. I am aware of the Hayes book, but it is out of print. I'd appreciate any pointers to readily availble articles containing descriptions of systems specified in Z. Thanks, --phil-- -- Phil Windley | windley@cheetah.cs.uidaho.edu Assistant Professor | windley@cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645
Jonathan.Bowen@prg.oxford.ac.uk (Jonathan Bowen) (02/24/91)
In article <WINDLEY.91Feb20162315@cheetah.cheetah.cs.uidaho.edu>: | |I'm teaching a course next semester on software specification using Z. I'm |looking for case studies. I am aware of the Hayes book, but it is out of |print. I'd appreciate any pointers to readily availble articles |containing descriptions of systems specified in Z. Sending the message "send z zbib.tex zbib.bib" to <archive-server@prg.oxford.ac.uk> will return a comprehensive (long *) list of Z references. BTW, the Hayes book is still available in the UK the last time I checked. Try contacting Blackwell's Bookshop, 50 Broad Street, Oxford (tel +44-865-249111) if you desparately want a copy. They will send books anywhere in the world. You might also be interested in the September 1990 issue of IEEE Software if you haven't already seen it. -- Jonathan Bowen, PRG, Oxford. PS Would anyone in the US like to set up a Z archive to save on trans-atlantic traffic? If so, please contact me. * The Z bibliography is longer than 100Kbytes. For details of shorter versions (e.g., for UUCP sites), send a message of "index z".