Now showing items 1-1 of 1
A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
(Blackwell Science Ltd and the Eurographics Association, 1993)
This paper is motivated by the emerging ISO/IEC Reference Model for Computer Graphics (CGRM) and the revision of the ISO/IEC computer graphics standard, the Graphical Kernel System (GKS). The paper explores the use of the ...