GKS, Structures and Formal Specification - researchr publication related

researchr

You are not signed in
Sign in
Sign up

David A. Duce. GKS, Structures and Formal Specification. In Werner Hansmann, F. Robert A. Hopgood, Wolfgang Straßer, editors, 10th European Computer Graphics Conference and Exhibition, Eurographics 1989, Hamburg, Germany, September 4-8, 1989, Proceedings. North-Holland / Eurographics Association, 1989. [doi]

The following publications are possibly variants of this publication:

Formal Specification in the Revision of GKS: An Illustrative ExampleDavid A. Duce, Ljiljana B. Damnjanovic. cgf, 11(1):17-30, 1992. [doi]

Formal specification of a small example based on GKSDavid A. Duce, E. V. C. Fielding, Lynn S. Marshall. tog, 7(3):180-197, 1988. [doi]

Towards a Formal Specification of the GKS Output PrimitivesDavid A. Duce, Elizabeth V. C. Fielding. eurographics 1986: [doi]

runs on WebDSL