Z Specification Case Studies

Article View: comp.specification

Article #329

Back to comp.specification Previous Next

#329

From: Phil Windley/20000000
Date: Thu, 21 Feb 1991 00:23

16 lines
1088 bytes

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

Technical Details

Message-ID: <WINDLEY.91Feb20162315@cheetah.cheetah.cs.uidaho.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!ogicse!uidaho!groucho.mrc.uidaho.edu!windley

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!ogicse!uidaho!groucho.mrc.uidaho.edu!windley
From: windley@cheetah.cs.uidaho.edu (Phil Windley/20000000)
Newsgroups: comp.specification
Subject: Z Specification Case Studies
Message-ID: <WINDLEY.91Feb20162315@cheetah.cheetah.cs.uidaho.edu>
Date: 21 Feb 91 00:23:15 GMT
Sender: @groucho
Distribution: comp
Organization: University of Idaho, Computer Science Dept.
Lines: 16
Nntp-Posting-Host: cheetah.cs.uidaho.edu