GKS, Structures and Formal Specification

dc.contributor.author	Duce, D. A.	en_US
dc.date.accessioned	2015-10-05T07:56:09Z
dc.date.available	2015-10-05T07:56:09Z
dc.date.issued	1989	en_US
dc.identifier.issn	1017-4656	en_US
dc.identifier.uri	http://dx.doi.org/10.2312/egtp.19891020	en_US
dc.description.abstract	There 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.publisher	Eurographics Association	en_US
dc.title	GKS, Structures and Formal Specification	en_US
dc.description.seriesinformation	EG 1989-Technical Papers	en_US
dc.identifier.doi	10.2312/egtp.19891020	en_US