10 results
Search Results
Now showing 1 - 10 of 10
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 GKS-9x: Some Implementation Considerations(Blackwell Science Ltd and the Eurographics Association, 1993) Damnjanovic, L.B.; Duce, D.A.; Robinson, S.K.The Graphical Kernel System (GKS) was published as an ISO standard for computer graphics programming in August 1985. GKS is now undergoing revision in ISO/IEC and at the time of writing the text of the Draft International Standard of GKS-9x was being finalized. This paper presents a way in which a key part of the new functionality in GKS-9x, namely namesets and selection criteria, can be implemented effectively.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 Formal Specification in the Revision of GKS: An Illustrative Example(Blackwell Science Ltd and the Eurographics Association, 1992) Duce, D.A.; Damnjanovic, L.B.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 specification techniques are being used by the authors to analyse key parts of proposals being made for changes to the framework of GKS to bring the standard into line with the requirements of applications and the operating environment likely to be found in the mid-1990 s.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.