Search Results

Now showing 1 - 1 of 1
  • Item
    GKS-9x: The Design Output Primitive, an Approach to a Specification.
    (Blackwell Science Ltd and the Eurographics Association, 1994) Nehlig, Ph. W.; Duce, D. A.
    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.