Search
Now showing items 1-1 of 1
An Approach to the Formal Specification of Configurable Models of Graphics Systems
(Eurographics Association, 1987)
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.