This collection of papers draws together a variety of approaches for adding ob- ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by ...
Read More
This collection of papers draws together a variety of approaches for adding ob- ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool support for Zj and carrying out research into refinement, proof and concurrency in Z. The ZIP methods work includes performing a survey of current Z practitioners (reported in [Barden et al. 1992])j investigating current styles and methods of Z usagej and developing a Z Method handbook (available early in 1993). As part of this work, we carried out a comparative study of the ways in which object orientation has been combined with Z. A summary of that work has been published as [Stepney et al. 1992].
Read Less
Add this copy of Object Orientation in Z (Workshops in Computing) to cart. $18.75, fair condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1992 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 400grams, ISBN: 3540197788.
Add this copy of Object Orientation in Z to cart. $20.00, fair condition, Sold by HaroldsBooks rated 5.0 out of 5 stars, ships from Corydon, IA, UNITED STATES, published 1992 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Acceptable. 0387197788 Ex-Library Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover is edge worn. Library label on the front. 144 pages.
Add this copy of Object Orientation in Z (Workshops in Computing) to cart. $69.80, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Springer-Verlag.
Add this copy of Object Orientation in Z (Workshops in Computing) to cart. $86.99, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Springer.
