2 nd  International Workshop on Formal Methods for Interactive Systems

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.

Content

Author and article information

Contributors

Paul Curzon

Antonio Cerone

Conference

Publication date: September 2007

Publication date (Print): September 2007

Pages: 1-2

Affiliations

[0001]Department of Computer Science, Queen Mary,

University of London

Mile End

London, UK. E1 4NS

+44 20 7882 5212

[0002]Int. Inst. for Software Technology, United Nations

University

Macau SAR China

Article

DOI: 10.14236/ewic/HCI2007.91

SO-VID: 82e434f4-a03e-4af2-8c39-5416d07293e4

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

History

Product

1477-9358 BCS 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/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

2 ^nd International Workshop on Formal Methods for Interactive Systems

Abstract