Search
Now showing items 1-1 of 1
Formal Specification in the Revision of GKS: An Illustrative Example
(Blackwell Science Ltd and the Eurographics Association, 1992)
The first ISO/IEC standard for computer graphics, the Graphical Kernel System (GKS) was published in August 1985. In accordance with ISO/IEC procedures, GKS is now being reviewed and revised. This paper describes how formal ...