Object Orientation in Z edited by Susan Stepney, Rosalind Barden, David Cooper.
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...
Full description
Saved in: