GKS-9x: The Design Output Primitive, an Approach to a Specification.
View/
Date
1994Pay-Per-View via TIB Hannover:
Try if this item/paper is available.
Metadata
Show full item recordAbstract
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.
BibTeX
@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}
}
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}
}