Please use this identifier to cite or link to this item:
|Title:||SPECIFYING A GRAPHICS PACKAGE: A CASE STUDY WITH Z|
|Abstract:||We report on the specification of a subset of graphics package called Polygon Groper. We used \o'\fIZ\(ap'\fR and its associated specification schema methodology to specify the datastructures of Polygon Groper, the set of primitive functions over these data structures, and the set of commands that compose functions over these datastructures. Working strictly from these specifications, we have located and corrected several serious errors in Polygon Groper. The techniques are straightforward and may be applied to any system.|
|Appears in Collections:||Birtwistle, Graham |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.