Search
Now showing items 1-6 of 6
Teaching Workshop - December 1985
(Blackwell Publishing Ltd and the Eurographics Association, 1986)
Fellows of the Eurographics Association
(Blackwell Publishing Ltd and the Eurographics Association, 1989)
Professor Stanko Turk
(Blackwell Publishing Ltd and the Eurographics Association, 1989)
EUROGRAPHICS UK Chapter Conference CGM Demonstration
(Blackwell Publishing Ltd and the Eurographics Association, 1989)
Ausgraph -86
(Blackwell Publishing Ltd and the Eurographics Association, 1986)
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.