8 results
Search Results
Now showing 1 - 8 of 8
Item EUROGRAPHICS UK Chapter Conference CGM Demonstration(Blackwell Publishing Ltd and the Eurographics Association, 1989) Duce, D.A.Item Yugraph 90(Blackwell Publishing Ltd and the Eurographics Association, 1990) 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 Revisions to the EUROGRAPHICS Bye-laws(Blackwell Publishing Ltd and the Eurographics Association, 1990) Vandoni, C.E.; 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.