Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Finding usability problems through heuristic evaluation
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Usability inspection methods
Enhancing the explanatory power of usability heuristics
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Scenario-based design
A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
Industrial integration of graphical and formal specifications
Journal of Systems and Software - Special issue on formal methods technology transfer
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Symbolic Model Checking
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Design principles for human-computer interfaces
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Analyzing mode confusion via model checking
Analyzing mode confusion via model checking
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Interaction walkthrough: evaluation of safety critical interactive systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Hi-index | 0.00 |
We present our view on how a formal technique for the analysis of interactive systems can be used to support 'discount' usability inspection methods. As a demonstration, we present a snapshot of our work on supporting heuristic evaluation and on the analysis of selected usability properties. Our method focuses on the exhaustive analysis of functional properties. We claim that the benefits gained by a formal approach like the one presented here justify its extra costs. Moreover, we believe these costs can be kept comparably low by making the analysis technique flexible enough to support a number of other (informal) analysis techniques throughout the different stages of the design process.