论文信息 - A Model for Graphical Interaction - 字舞流文

A Model for Graphical Interaction

A model of graphical interaction is presented which will allow us to precisely and formally describe many important aspects of graphical input, graphical output and various correlations between these two.

ten P.J.W. Hagen | van Robert Liere

[1] George Carson. The Specification of Computer Graphics Systems , 1983, IEEE Computer Graphics and Applications.

[2] Pieter H. Hartel,et al. Input-Output Tools: A Language Facility for Interactive and Real-Time Systems , 1983, IEEE Trans. Software Eng..

[3] Ed Anson,et al. The device model of interaction , 1982, SIGGRAPH.

[4] William R. Mallgren,et al. Formal Specification of Graphic Data Types , 1982, TOPL.

[5] David A. Duce,et al. Towards a formal specification of the GKS output primitives , 1987 .

[6] Rupert Gnatz. An Algebraic Approach to the Standardization and the Certification of Graphics Software , 1983, Comput. Graph. Forum.