Z Specification Case Studies

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Phil Windley/20000000 Thu, 21 Feb 1991 00:23

#329

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads