GKS, Structures and Formal Specification

Simple item page
dc.contributor.authorDuce, D. A.en_US
dc.date.accessioned2015-10-05T07:56:09Z
dc.date.available2015-10-05T07:56:09Z
dc.date.issued1989en_US
dc.description.abstractThere are now three International Standards for application program interfaces for computer graphics programming, GKS, GKS-3D and PHIGS. In this paper a simplified model GKS-like system is described and a 2D PHIGS-like system is then described in terms of this and a centralized structure store. Formal specifications of the systems are given illustrating how the specification of a system can be built up from a hierarchy of simple components. The purpose of the paper is to illustrate one approach to the description of a compatible family of graphics standards and the use of formal specification techniques in this process.en_US
dc.description.seriesinformationEG 1989-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19891020en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19891020en_US
dc.publisherEurographics Associationen_US
dc.titleGKS, Structures and Formal Specificationen_US
Files
Collections
EG1989 Proceedings (Technical Papers)
EG1989 Proceedings (Technical Papers)