Author:
Torres Juan Carlos,Clares Buenaventura
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Duce D.A., “Formal Specification of Graphics Software”. Ed. Earnshaw R.A., Theoretical Foundation of Computer Graphics and CAD, Springer-Verlag 1988. pp.543/574.
2. Duce D.A., “GKS, Structures and Formal Specification”, Proceeding of Eurographics’89. North-Holland, 1989.
3. Duke D.J., Harrison M.D., Abstract Interaction Objects, Computer Graphics Forum, Vol.12, N.3 (EUROGRAPHICS’93), pp.25–36. (1993)
4. Faconti G., Paterno’ F., A visual environment to define composition of interacting graphical objects. The Visual Computer, Vol.9, pp. 73–83, (1992).
5. Faconti G., Paterno’ F., An Approach to the Formal Specification of the Components of an Interaction. In C. Vandoni, D.A. Duce(ed.), EUROGRAPHICS’90, pp. 481–494, North Holland (1990).