September 2007
Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK (HCI)
British HCI Group Annual Conference
3 - 7 September 2007
This workshop is the second in a series that is intended as a focused forum for researchers from academia and industry interested in the application of formal methods to interactive system design. Topics of interest include, for example, the development of formal tools, techniques and methodologies based on cognitive psychology results, the development and use of formal user models, case studies applying formal methods to interface design, and formal analysis of the design of the wider socio-technical systems.
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/