Premium
GKS‐9x: The Design Output Primitive, an Approach to a Specification.
Author(s) -
Nehlig Ph. W.,
Duce D. A.
Publication year - 1994
Publication title -
computer graphics forum
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.578
H-Index - 120
eISSN - 1467-8659
pISSN - 0167-7055
DOI - 10.1111/1467-8659.1330381
Subject(s) - computer science , graphics , programming language , notation , presentation (obstetrics) , reflection (computer programming) , software engineering , computer graphics (images) , arithmetic , mathematics , medicine , radiology
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.