An Approach to the Formal Specification of Configurable Models of Graphics Systems

dc.contributor.author	Arnold, D.B.	en_US
dc.contributor.author	Duce, D.A.	en_US
dc.contributor.author	Reynolds, G.J	en_US
dc.date.accessioned	2015-10-05T07:55:25Z
dc.date.available	2015-10-05T07:55:25Z
dc.date.issued	1987	en_US
dc.identifier.issn	1017-4656	en_US
dc.identifier.uri	http://dx.doi.org/10.2312/egtp.19871033	en_US
dc.description.abstract	This paper describes a general framework for the formal specification of modular graphics systems. The approach is illustrated by an example taken from the Graphical Kernel System (GKS) and uses the Z specification notation.	en_US
dc.publisher	Eurographics Association	en_US
dc.title	An Approach to the Formal Specification of Configurable Models of Graphics Systems	en_US
dc.description.seriesinformation	EG 1987-Technical Papers	en_US
dc.identifier.doi	10.2312/egtp.19871033	en_US