Putting design into practice: formal specification and the user interface
Formal methods in human-computer interaction
A state model of direct manipulation in interactive systems
Formal methods in human-computer interaction
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
Towards a dynamic strategy for computer-aided visual placement
AVI '94 Proceedings of the workshop on Advanced visual interfaces
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Human-computer interaction (2nd ed.)
Human-computer interaction (2nd ed.)
Constructing the User Interface with Statecharts
Constructing the User Interface with Statecharts
Adding user interface to a behavioural specification
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Preliminary Evaluation of a Formal Approach to User Interface Specification
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Evaluation of visual balance for automated layout
Proceedings of the 9th international conference on Intelligent user interfaces
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
An outline pattern language for Z: five illustrations and two tables
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Developing usability studies via formal models of UIs
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Model-driven GUI & interaction design using emulation
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
For any sort of computer system, the problems of being sure you have asked for the right thing and then being sure you are implementing the right thing are important and hard problems. For systems with a graphical user interface there are the analogous additional problems of making sure that the interface allows any interaction that is required, and works in a usable way. Design guidelines are used in both the design and evaluation of user interfaces to try and ensure that the systems we build are both usable and conform to specific requirements. This paper discusses practical ways in which we can use formal methods to model guidelines for interface design and then use these as a basis for the formal proof that a specified system has the desired properties described in the guidelines.