6 results
Search Results
Now showing 1 - 6 of 6
Item EUROGRAPHICS UK Chapter Conference CGM Demonstration(Blackwell Publishing Ltd and the Eurographics Association, 1989) Duce, D.A.Item Ausgraph -86(Blackwell Publishing Ltd and the Eurographics Association, 1986) Hopgood, F.R.A.; Duce, D.A.Item Professor Stanko Turk(Blackwell Publishing Ltd and the Eurographics Association, 1989) Duce, D.A.Item Teaching Workshop - December 1985(Blackwell Publishing Ltd and the Eurographics Association, 1986) Duce, D.A.Item Fellows of the Eurographics Association(Blackwell Publishing Ltd and the Eurographics Association, 1989) Duce, D.A.Item An Approach to the Formal Specification of Configurable Models of Graphics Systems(Eurographics Association, 1987) Arnold, D.B.; Duce, D.A.; Reynolds, G.JThis 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.