Communicating sequential processes
Communicating sequential processes
The case against user interface consistency
Communications of the ACM
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.)
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Interacting with Computers
Proof in VDM: a practitioner's guide
Proof in VDM: a practitioner's guide
Using Interaction Framework to guide the design of interactive systems
International Journal of Human-Computer Studies
Communications of the ACM
Activity theory as a potential framework for human-computer interaction research
Context and consciousness
Communication and Concurrency
Understanding Computers and Cognition: A New Foundation for Design
Understanding Computers and Cognition: A New Foundation for Design
An Invitation to Formal Methods
Computer
Engineering Human-Error Tolerant Software
Proceedings of the Z User Workshop
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A task centered approach to analysing human error tolerance requirements
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Model Checking Interactor Specifications
Automated Software Engineering
| Hi-index | 0.00 |
The growing use of computer-based systems in many sectors, particularly those where safety is an issue, combined with the increased complexity of human interaction with such systems, has meant that concerns of human error and usability in general are more important than ever. This paper reviews research done at York to relate formal methods to Human Computer Interaction. A particular concern of this work has been to show how understandings of use can be integrated into the design of the system. These techniques have evolved to take increasing account of the user context in the specification of the system. The paper will illustrate this development and show how formal specification may be used as a common representational framework for user's goals, tasks and for components of the interface specification. The method is illustrated using a small example from the aircraft domain.