GKS-9x: The Design Output Primitive, an Approach to a Specification.
Loading...
Date
1994
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Science Ltd and the Eurographics Association
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.
Description
@article{10.1111:1467-8659.1330381,
journal = {Computer Graphics Forum},
title = {{GKS-9x: The Design Output Primitive, an Approach to a Specification.}},
author = {Nehlig, Ph. W. and Duce, D. A.},
year = {1994},
publisher = {Blackwell Science Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/1467-8659.1330381}
}