Complementary methods for the iterative design of interactive systems
Proceedings of the third international conference on human-computer interaction on Designing and using human-computer interfaces and knowledge based systems (2nd ed.)
Observations and inventions: new approaches to the study of human—computer interaction
Interacting with Computers
Formal aspects of human-computer interaction
Formal aspects of human-computer interaction
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Hi-index | 0.00 |
Previous work has demonstrated how interactive systems can be modelled formally as a collection of interacting objects or agents using an agent-based specification language (Abowd 1991, Duke & Harrison, 1992). An agent is an object which encapsulates some private internal state and operations which may alter this state together with an external view which describes the behaviour of the system in terms of the user interface level events which occur and the rendering function by which the object makes aspects of its internal state visible to the environment.