Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
An action-based framework for verifying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems - Special issue on tools for FDTs
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Questions, options, and criteria: elements of design space analysis
Human-Computer Interaction
Hi-index | 0.00 |
In this paper we describe an approach whose main purpose is to identify and formalise concepts which are useful in the evaluation work of designers of Interactive Systems. Usually designers have to decide architectural and interactional solutions for supporting users' tasks. Architectural solutions identify the basic components of the considered system and their relationships. Interactional solutions define the sequences of users' actions and system feedback which they want to make available for the users.