SPECIFYING A GRAPHICS PACKAGE: A CASE STUDY WITH Z

Files

1992-465-3.pdf (1.28 MB)

Date

1992-02-01

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

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.

Description

Keywords

Computer Science

Citation

URI

http://hdl.handle.net/1880/45729

Collections

Science Research & Publications

Powered by

Libraries & Cultural Resources

Start Something.

University of Calgary
2500 University Drive NW
Calgary Alberta T2N 1N4
CANADA

Copyright © 2023

The University of Calgary, located in the heart of Southern Alberta, both acknowledges and pays tribute to the traditional territories of the peoples of Treaty 7, which include the Blackfoot Confederacy (comprised of the Siksika, the Piikani, and the Kainai First Nations), the Tsuut’ina First Nation, and the Stoney Nakoda (including Chiniki, Bearspaw, and Goodstoney First Nations). The City of Calgary is also home to the Métis Nation of Alberta (Districts 5 and 6).

The University of Calgary is situated on land Northwest of where the Bow River meets the Elbow River, a site traditionally known as Moh’kins’tsis to the Blackfoot, Wîchîspa to the Stoney Nakoda, and Guts’ists’i to the Tsuut’ina. On this land and in this place we strive to learn together, walk together, and grow together “in a good way.”