Object Orientation in Z by Susan Stepney 0000-00-00 00:00:00

eBook Best Deals & PDF Download Object Orientation in Z

by Susan Stepney
Book Views: 17
Object Orientation in Z by Susan Stepney
Author
Susan Stepney
Publisher
Springer
Date of release
Pages
144
ISBN
9780387197784
Binding
Paperback
Illustrations
Format
PDF, EPUB, MOBI, TXT, DOC
Rating
3
37
Verified safe to download
See available formats

Book review

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].

Find and Download Book — Object Orientation in Z

Click one of share button to proceed download:
Choose server for download:
Download
Get It!
File size:1 mb
Estimated time:1 min
If not downloading or you getting an error:
  • Try another server.
  • Try to reload page — press F5 on keyboard.
  • Clear browser cache.
  • Clear browser cookies.
  • Try other browser.
  • If you still getting an error — please contact us and we will fix this error ASAP.
Sorry for inconvenience!
For authors or copyright holders
Amazon Affiliate

Go to Removal form

Leave a comment

Readers reviews