Design, Specification and Verification of Interactive Systems ’95

1. Front Matter

   Pages I-X

   PDF

2. Invited Talks

   1. Interaction, Cognition and Visualization

      • D. A. Duce, D. J. Duke

      Pages 1-20

   2. Formal Specification Techniques for Interactive Systems

      • Marie-Claude Gaudel

      Pages 21-26

   3. Interacting With Information

      • Dan R. Olsen Jr.

      Pages 27-34

3. User-Side Modeling and Co-Modeling

   1. A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications

      • Fabio Paterno, Maria Sabrina Sciacchitano, Jonas Lowgren

      Pages 35-53

   2. Interaction and Task Requirements

      • D. J. Duke, M. D. Harrison

      Pages 54-75

   3. Revising mental models to accommodate expectation failures in human-computer dialogues

      • Thomas G. Moher, Victor Dirda

      Pages 76-92

   4. The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident Analyses

      • Chris Johnson

      Pages 93-112

4. Requirements for Formal Specification

   1. Requirements For The Next Generation Of User Interface Specification Languages

      • Phil Gray, Chris Johnson

      Pages 113-133

   2. Exploring Design Options Rationally

      • Chris Bramwell, Bob Fields, Michael Harrison

      Pages 134-148

   3. Moving Between Contexts

      • Alan Dix

      Pages 149-173

5. Prototyping, Generation and Evaluation

   1. Combining Formal Techniques and Prototyping in User Interface Construction and Verification

      • Peter Bumbulis, P. S. C. Alencar, D. D. Cowan, C. J. P. Lucena

      Pages 174-192

   2. Modelling and Generation of Graphical User Interfaces in the TADEUS Approach

      • Thomas Elwert, Egbert Schlungbaum

      Pages 193-208

   3. Four different measures to quantify three usability attributes: ‘feedback’, ‘interactive directness’ and ‘flexibility’

      • Matthias Rauterberg

      Pages 209-223

6. Design and Verification

   1. Proving the Correctness of Formal User Interface Specifications

      • Bernhard Bauer

      Pages 224-241

   2. A software demonstrator of modality theory

      • N. O. Bernsen, S. Lu

      Pages 242-261

   3. Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide

      • François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Isabelle Provot, Benoît Sacré, Jean Vanderdonckt

      Pages 262-278

   4. The Design of Narrative Virtual Environments

      • Mark Green

      Pages 279-293

   5. On The Expression Of Interaction Properties Within An Interactor Model

      • Panos Markopoulos

      Pages 294-310

   6. Applying A Structured Method For Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study

      • James Middlemass, Adam Stork, John Long

      Pages 311-328

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the second of its kind, following the successful first edition in Italy in 1994. The goal of this ongoing series of meetings is to review the state of the art in the domain of tools, notations and methodologies supporting the design of Interactive Systems. This acknowledges the fact that making systems that are friendlier to the user makes the task ever harder to the designers of such systems, and that much research is still needed to provide the appropriate conceptual and practical tools. The workshop was located in the Chateau de Bonas, in the distant countryside of Toulouse, France. Tms location has been selected to preserve the quiet and studious atmosphere that was established in the monastery of Santa Croce at Bocca di Magra for the first edition, and that was much enjoyed by the participants. The conversations initiated during the sessions often lasted till late at night, in the peaceful atmosphere of the Gers landscape.

• information
• interactive system
• modeling
• petri net
• user interface
• visualization

• LIS/Université Toulouse I, Toulouse Cedex, France

  Philippe Palanque, Rémi Bastide

Policies and ethics