Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Designing the user interface (2nd ed.): strategies for effective human-computer interaction
Controlling user interface objects through pre- and postconditions
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
SILK: sketching interfaces like krazy
Conference Companion on Human Factors in Computing Systems
The Object-Z specification language
The Object-Z specification language
Program development by stepwise refinement
Communications of the ACM
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Computer-aided sketching to capture preliminary design
AUIC '02 Proceedings of the Third Australasian conference on User interfaces - Volume 7
User Interface Management Systems
User Interface Management Systems
A Unifying Reference Framework for the Development of Plastic User Interfaces
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Towards a UML for Interactive Systems
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
ACM '69 Proceedings of the 1969 24th national conference
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
SketchiXML: towards a multi-agent design tool for sketching user interfaces based on USIXML
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Formal Refinement of Informal GUI Design Artefacts
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Supporting flexible development of multi-device interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
Modelling user manuals of modal medical devices and learning from the experience
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
UI-design driven model-based testing
Innovations in Systems and Software Engineering
Technology and Health Care
| Hi-index | 0.00 |
Many different methods exist for the design and implementation of software systems. These methods may be fully formal, such as the use of formal specification languages and refinement processes, or they may be totally informal, such as jotting design ideas down on paper prior to coding, or they may be somewhere in between these two extremes. Formal methods are naturally suited to underlying system behaviour while user-centred approaches to user interface design fit comfortably with more informal approaches. The challenge is to find ways of integrating user-centred design methods with formal methods so that the benefits of both are fully realised. This paper presents a way of capturing the intentions behind informal design artefacts within a formal environment and then shows several applications of this approach.