Skip to main content
SpringerLink
Log in

Design, Specification and Verification of Interactive Systems ’95

Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Philippe Palanque

    1. LIS/Université Toulouse I, Toulouse Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rémi Bastide

    1. LIS/Université Toulouse I, Toulouse Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Eurographics (EUROGRAPH)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

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

    Philippe Palanque, Rémi Bastide

Bibliographic Information

  • Book Title: Design, Specification and Verification of Interactive Systems ’95

  • Book Subtitle: Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995

  • Editors: Philippe Palanque, Rémi Bastide

  • Series Title: Eurographics

  • DOI: https://doi.org/10.1007/978-3-7091-9437-9

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag/Wien 1995

  • Softcover ISBN: 978-3-211-82739-0Published: 14 September 1995

  • eBook ISBN: 978-3-7091-9437-9Published: 06 December 2012

  • Series ISSN: 0946-2767

  • Edition Number: 1

  • Number of Pages: X, 374

  • Number of Illustrations: 138 b/w illustrations

  • Topics: Computer Graphics, Image Processing and Computer Vision, Coding and Information Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation