Carr, D.: Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces. Formal Methods for Computer-Human Interaction. P. Palanque and F. Paterno', Springer-Verlag (1997) 141-156. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Integrating Rendering Specifications Into a Formalism.. - Bastide, Palanque.. (1998) (Correct)
....proceedings of Design Specification and verification of Interactive Systems 98 Springer Verlag, pp. 171 191 Dialogue Semantic Navigation Dialogue State Activation Notification Application State Error report Template Abstraction [22] x x x Pie [9] x x York [11] x x x CNUCE [19] x x IOG [5] x x x x x PAC [6] x x Tadeus [12] X x x Fig 14. Interactive systems specification techniques and the taxonomy of rendering. Fig 15 summarises the principles of some techniques in terms of the mapping function used (how widgets relate to input output behaviour of the interactive system) of the ....
.... Template Abstraction [22] Results and Display Templates Structuring Interaction Output correctness Structural consistency Pie [9] Mathematical relationships Z York [11] Mathematical relationships Interactor VDM, Z or MAL CNUCE [19] Interactor s function Lotos language and Interactor ACTL IOG[5] View Port Interactive Object Graph PAC [6] Control Module PAC Agent Tadeus [12] Interaction Table Dialogue Graph ICO [1] Activation and Rendering functions High level Petri nets Analysis of Petri nets properties. Fig 15. A comparison chart for interactive systems specification techniques. 8. ....
Carr, David. Interaction Object Graphs: an executable graphical notation for specifying user interfaces. in: Palanque, Philippe; Paterṇ, Fabio, Editors. Formal methods in Human-Computer Interaction. Springer-Verlag; 1997. pp. 141-155.
ISML: An Interface Specification Meta-Language - Crowle, Hole (Correct)
No context found.
Carr, D.: Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces. Formal Methods for Computer-Human Interaction. P. Palanque and F. Paterno', Springer-Verlag (1997) 141-156.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC