The Handbook of Formal Methods in Human-Computer Interaction

  • Benjamin Weyers
  • Judy Bowen
  • Alan Dix
  • Philippe Palanque

Part of the Human–Computer Interaction Series book series (HCIS)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix
      Pages 3-55
    3. Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers
      Pages 57-64
    4. Alan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque
      Pages 65-88
    5. Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix, Philippe Palanque
      Pages 89-121
  3. Modeling, Execution and Simulation

    1. Front Matter
      Pages 123-123
    2. Judy Bowen, Steve Reeves
      Pages 161-182
    3. Paul Curzon, Rimvydas Rukšėnas
      Pages 211-245
  4. Analysis, Validation and Verification

    1. Front Matter
      Pages 295-295
    2. Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis
      Pages 297-317
    3. Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon
      Pages 379-403
    4. Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
      Pages 405-431
  5. Future Opportunities and Developments

    1. Front Matter
      Pages 433-433
    2. Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe
      Pages 435-463
    3. Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
      Pages 465-504
    4. Marco Manca, Fabio Paternò, Carmen Santoro
      Pages 505-528
    5. Johannes Pfeffer, Leon Urbas
      Pages 529-547
    6. Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris
      Pages 549-575
  6. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
    Pages E1-E3

About this book


This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. 

World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as a presenting current trends and gaps in research and future opportunities and developments within this emerging field.

The Handbook of Formal Methods in Human Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.


HCI Interactive systems formal description techniques verification of properties task modeling

Editors and affiliations

  • Benjamin Weyers
    • 1
  • Judy Bowen
    • 2
  • Alan Dix
    • 3
  • Philippe Palanque
    • 4
  1. 1.Visual Computing Institute—Virtual Reality & Immersive VisualizationRWTH Aachen UniversityAachenGermany
  2. 2.Department of Computer ScienceThe University of WaikatoHamiltonNew Zealand
  3. 3.School of Computer ScienceUniversity of BirminghamBirminghamUnited Kingdom
  4. 4.Universite de ToulouseICS-IRITToulouseFrance

Bibliographic information

Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment