2 ^nd International Workshop on Formal Methods for Interactive Systems

Abstract

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.

Contributors

Paul Curzon

Antonio Cerone

Conference

Publication date: September 2007

Publication date (Print): September 2007

Pages: 1-2

Affiliations

Department of Computer Science, Queen Mary,

University of London

Mile End

London, UK. E1 4NS

[phone]

Int. Inst. for Software Technology, United Nations

University

Macau SAR China

Article

DOI: 10.14236/ewic/HCI2007.91

Copyright statement: © Paul Curzon et al. Published by BCS Learning and Development Ltd. Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK

License:

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/

Conference name: Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK

Conference acronym: HCI

Conference number: 21

Conference location: Lancaster, UK

Conference date: 3 - 7 September 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: British HCI Group Annual Conference

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HCI2007.91

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing