Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

2nd International Workshop on Formal Methods for Interactive Systems

,

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

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      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.

      Related collections

      Author and article information

      Affiliations
      Department of Computer Science, Queen Mary,

      University of London

      Mile End

      London, UK. E1 4NS

      +44 20 7882 5212
      Int. Inst. for Software Technology, United Nations

      University

      Macau SAR China
      Contributors
      Conference
      September 2007
      September 2007
      : 1-2
      10.14236/ewic/HCI2007.91
      © 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

      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/

      Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK
      HCI
      21
      Lancaster, UK
      3 - 7 September 2007
      Electronic Workshops in Computing (eWiC)
      British HCI Group Annual Conference
      Product
      Product Information: 1477-9358 BCS Learning & Development
      Self URI (journal page): https://ewic.bcs.org/
      Categories
      Electronic Workshops in Computing

      Comments

      Comment on this article