OO Z collection

Thread View: comp.specification.z

1 messages

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

1 total messages Started by Susan Stepney Thu, 23 Jul 1992 15:09

#26

Author: Susan Stepney
Date: Thu, 23 Jul 1992 15:09

38 lines
1487 bytes

FYI, a short advert.

Due out in August is:

   Susan Stepney, Rosalind Barden, David Cooper (editors)
   Object Orientation in Z
   Workshops in Computer Science
   Springer-Verlag
   1992
   ISBN 3-540-19778-8

This is a collection of papers describing various OOZ approaches --- Hall,
ZERO, MooZ, Object-Z, OOZE, Schuman&Pitt, Z++, ZEST and Fresco (an OO VDM
method) --- in the main written by the methods' inventors, and all
specifying the same two examples.

The collection is a revised and expanded version of a ZIP report
(distributed at the 1991 York Z User Meeting).  If you want a copy of
that out-of-date report instead, please contact
(no e-mail address, I'm afraid)

   Colin Parker
   Systems Computing Dept., W376C
   British Aerospace
   Warton Aerodrome
   Warton
   Preston
   PR4 1AX
   U.K.

(BTW: I had some e-mail from a few people last week, requesting copies
of the ZIP report.  Unfortunately, our mail server then promptly crashed
for a week!  It has forgotten the relevant files, so I have no record
of who asked for what.  Could you please re-send your request, to Colin.
Sorry for the inconvenience.)

Susan Stepney.

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