Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The RAISE language, methods and tools
Formal Aspects of Computing
HCI formalisms and cognitive psychology: the case of task-action grammar
Formal methods in human-computer interaction
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
A tour of suite user interface software
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
A high-level and flexible framework for implementing multiuser user interfaces
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
The Rendezvous constraint maintenance system
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Human-computer interaction
Using formal specifications in the design of a human-computer interface
Communications of the ACM
A Review of Formalisms for Describing Interactive Behaviour
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
Agents: Communicating interactive processes
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Delays and temporal incoherence due to the mediated status-status mappings
ACM SIGCHI Bulletin
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
A specification paradigm for design and implementation of non-WIMP user interfaces
CHI 98 Cconference Summary on Human Factors in Computing Systems
Exploring the design space for notification servers
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Closing the loop: modelling action, perception and information
AVI '96 Proceedings of the workshop on Advanced visual interfaces
Reality-based interaction: a framework for post-WIMP interfaces
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
ACM SIGSOFT Software Engineering Notes
Dialogue graphs: a formal and visual specification technique for dialogue modelling
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Augmenting visualization with natural language translation of interaction: a usability study
EuroVis '13 Proceedings of the 15th Eurographics Conference on Visualization
| Hi-index | 0.00 |
In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.