Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45729
Title: SPECIFYING A GRAPHICS PACKAGE: A CASE STUDY WITH Z
Authors: Birtwistle, G.
Zhang, H.
Keywords: Computer Science
Issue Date: 1-Feb-1992
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.
URI: http://hdl.handle.net/1880/45729
Appears in Collections:Birtwistle, Graham

Files in This Item:
File Description SizeFormat 
1992-465-3.pdf1.31 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.