Skip to main content
SpringerLink
Log in

Design, Specification and Verification of Interactive Systems ’96

Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Francois Bodart

    1. Institut d’Informatique, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean Vanderdonckt

    1. Institut d’Informatique, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium

    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 (19 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talks

    1. Retrospective and Challenges for Model-Based Interface Development

      • Pedro Szekely
      Pages 1-27

    2. Human Factors in Aeronautics

      • V. De Keyser, D. Javaux
      Pages 28-45

    3. Abstract Interpretation and Application to Interactive System Verification

      • Baudouin Le Charlier
      Pages 46-72

  3. Moving Towards Implementation

    1. Device Models

      • G. P. Faconti, D. J. Duke
      Pages 73-91

    2. A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems

      • Johnny Accot, Stéphane Chatty, Philippe Palanque
      Pages 92-104

    3. Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour

      • Bruno d’Ausbourg, Guy Durrieu, Pierre Roche
      Pages 105-122

    4. Prototyping Device Interfaces with DSN/2

      • Gerd Szwillus, Klaus Kespohl
      Pages 123-140

  4. Evaluating Formal Languages

    1. Toward more understandable user interface specifications

      • David A. Carr
      Pages 141-161

    2. Towards an integrated proposal for Interactive Systems design based on TLIM and ICO

      • Philippe Palanque, Fabio Paterno, Rémi Bastide, Menica Mezzanotte
      Pages 162-187

    3. The Evaluation Of User Interface Notations

      • Chris Johnson
      Pages 188-206

  5. Analysing Errors

    1. Supporting Error-Driven Design

      • Chris Johnson, Phil Gray
      Pages 207-228

    2. Risk Analysis, Impact and Interaction Modelling

      • A. M. Dearden, M. D. Harrison
      Pages 229-247

    3. Design assistance for user-adapted interaction

      • D. Akoumianakis, A. Savidis, C. Stephanidis
      Pages 248-271

  6. Design, Specification and Verification

    1. GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems

      • J. C. Torres, M. Gea, F. L. Gutierrez, M. Cabrera, M. Rodriguez
      Pages 272-291

    2. Fusion Engines and Melting Pots

      • J. K. Hyde, D. J. Duke
      Pages 292-311

    3. Monolingual, Articulated Modeling of Users, Devices, and Interfaces

      • Thomas Moher, Victor Dirda, Rémi Bastide, Philippe Palanque
      Pages 312-329

    4. Evaluating the Interfaces of Three Theorem Proving Assistants

      • Nicholas A. Merriam, Michael D. Harrison
      Pages 330-346

    5. Validating Properties of Component-based Graphical User Interfaces

      • Peter Bumbulis, P. S. C. Alencar, D. D. Cowan, C. J. P. Lucena
      Pages 347-365

    6. Specifying and Reasoning About CSCW

      • Steve Reeves
      Pages 366-383
Back to top

Keywords

About this book

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.

Editors and Affiliations

  • Institut d’Informatique, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium

    Francois Bodart, Jean Vanderdonckt

Bibliographic Information

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

  • Book Subtitle: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996

  • Editors: Francois Bodart, Jean Vanderdonckt

  • Series Title: Eurographics

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

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag/Wien 1996

  • Softcover ISBN: 978-3-211-82900-4Published: 07 October 1996

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

  • Series ISSN: 0946-2767

  • Edition Number: 1

  • Number of Pages: XI, 383

  • Number of Illustrations: 17 b/w illustrations

  • Topics: User Interfaces and Human Computer Interaction, Models and Principles

Publish with us

Policies and ethics

Back to top

Search

Navigation