2nd International Workshop on Formal Methods for Interactive Systems
Paul Curzon, António Cerone · Electronic workshops in computing · 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.