Advertisement

Formal Methods in Human-Computer Interaction

  • Philippe Palanque
  • Fabio Paternò

Table of contents

  1. Front Matter
    Pages iii-xvii
  2. Modelling Techniques

    1. Philippe Palanque, Fabio Paternò
      Pages 1-23
    2. Philippe Palanque, Fabio Paternò
      Pages 25-47
    3. Philippe Palanque, Fabio Paternò
      Pages 93-120
  3. Approaches to the Formal Specification

    1. Philippe Palanque, Fabio Paternò
      Pages 121-139
    2. Philippe Palanque, Fabio Paternò
      Pages 157-174
    3. Philippe Palanque, Fabio Paternò
      Pages 195-223
    4. Philippe Palanque, Fabio Paternò
      Pages 225-240
  4. Approaches to the Formal Evaluation

  5. Back Matter
    Pages 347-376

About this book

Introduction

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.

Keywords

Usability User Interface Design formal specification human-computer interaction (HCI) interactive system logic user interface

Editors and affiliations

  • Philippe Palanque
    • 1
  • Fabio Paternò
    • 2
  1. 1.LIS-FROGISUniversity of ToulouseToulouse CedexFrance
  2. 2.CNUCE-CNRPisaItaly

Bibliographic information