GKS-9x: The Design Output Primitive, an Approach to a Specification.
| dc.contributor.author | Nehlig, Ph. W. | en_US |
| dc.contributor.author | Duce, D. A. | en_US |
| dc.date.accessioned | 2014-10-21T07:31:22Z | |
| dc.date.available | 2014-10-21T07:31:22Z | |
| dc.date.issued | 1994 | en_US |
| dc.description.abstract | This paper describes an approach to the formal definition of the design primitive introduced in the revision of the ISO/IEC computer graphics standard, GKS. The paper starts with a general description of the design primitive and then describes the specification (which is given in the Z notation) and the motivation for the approach taken in some detail. The paper concludes with a reflection on the contribution of this work, and the descriptive style adopted an the GKS revision, to the role of formal description in the presentation of graphics standards. | en_US |
| dc.description.number | 3 | en_US |
| dc.description.seriesinformation | Computer Graphics Forum | en_US |
| dc.description.volume | 13 | en_US |
| dc.identifier.doi | 10.1111/1467-8659.1330381 | en_US |
| dc.identifier.issn | 1467-8659 | en_US |
| dc.identifier.pages | 381-392 | en_US |
| dc.identifier.uri | https://doi.org/10.1111/1467-8659.1330381 | en_US |
| dc.publisher | Blackwell Science Ltd and the Eurographics Association | en_US |
| dc.title | GKS-9x: The Design Output Primitive, an Approach to a Specification. | en_US |