Designing for usability: key principles and what designers think
Communications of the ACM
The trouble with computers
The Mathematica book (3rd ed.)
The Mathematica book (3rd ed.)
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Usability engineering methods for software developers
Communications of the ACM - Interaction design and children
Usability problems: do software developers already know?
OZCHI '06 Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments
Internalist and externalist HCI
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
Interaction walkthrough: evaluation of safety critical interactive systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Understanding User Centred Design (UCD) for People with Special Needs
ICCHP '08 Proceedings of the 11th international conference on Computers Helping People with Special Needs
ICCHP '08 Proceedings of the 11th international conference on Computers Helping People with Special Needs
Workshop HCI for medicine and health care (HCI4MED)
BCS-HCI '08 Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction - Volume 2
Social network analysis and interactive device design analysis
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
A Usability and Accessibility Design and Evaluation Framework for ICT Services
USAB '09 Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion
Usability Practice in Medical Imaging Application Development
USAB '09 Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion
International Journal of Human-Computer Studies
User interface model discovery: towards a generic approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Journal of Mobile Multimedia
Action graphs and user performance analysis
International Journal of Human-Computer Studies
Hi-index | 0.00 |
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical devices. We outline some technical approaches, based on simple and "easy to use" formal methods, to improve usability and safety, and show how they scale to typical devices. Specifically: (i) it is easy to visualize behavioral properties; (ii) it is easy to formalize and check properties rigorously; (iii) the scale of typical devices means that conventional usercentered approaches, while still necessary, are insufficient to contribute reliably to safety related interaction issues.