Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    The User Context and Formal Specification in Interactive System Design

    BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

    Sheffield, UK. 10th - 12th September 1996


    M. Harrison, R. Fields & P.C. Wright


    The growing use of computer-based systems in many sectors, particularly those where safety is an issue, combined with the increased complexity of human interaction with such systems, has meant that concerns of human error and usability in general are more important than ever.

    This paper reviews research done at York to relate formal methods to Human Computer Interaction.

    A particular concern of this work has been to show how understandings of use can be integrated into the design of the system.

    These techniques have evolved to take increasing account of the user context in the specification of the system.

    The paper will illustrate this development and show how formal specification may be used as a common representational framework for user's goals, tasks and for components of the interface specification.

    The method is illustrated using a small example from the aircraft domain.


    PDF filePDF Version of this Paper (120kb)