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

Arnold, D.B.Duce, D.A.Reynolds, G.J2015-10-052015-10-0519871017-4656https://doi.org/10.2312/egtp.19871033This 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.An Approach to the Formal Specification of Configurable Models of Graphics Systems10.2312/egtp.19871033