Skip to main content
SpringerLink
Log in

Design, Specification and Verification of Interactive Systems ’99

Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. David Duke

    1. Department of Computer Science, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Angel Puerta

    1. Red Whale Software, Palo Alto, USA

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

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Invited Talks

    1. Haptic Interactions in the Real and Virtual Worlds

      • M. A. Srinivasan, C. Basdogan, C.-H. Ho
      Pages 1-16

    2. Matching Technology to People for Telepresence

      • M. Hollier
      Pages 17-17

  3. Papers Presented

    1. An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality

      • Charles Albert Wüthrich
      Pages 18-29

    2. Towards Hybrid Interface Specification for Virtual Environments

      • Mieke Massink, David Duke, Shamus Smith
      Pages 30-51

    3. Contrasting Models for Visualisation (Seeing the wood through the trees)

      • Chris Roast, Jawed Siddiqi
      Pages 52-66

    4. Towards User Interfaces Prototyping from Algebraic Specification

      • M. Cabrera, J. C. Torres, M. Gea
      Pages 67-83

    5. Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications

      • Jean Vanderdonckt
      Pages 84-99

    6. Presentation Models by Example

      • Pablo Castells, Pedro Szekely
      Pages 100-116

    7. Refinement of the PAC model for the component-based design and specification of television based interfaces

      • Panos Markopoulos, Paul Shrubsole, John de Vet
      Pages 117-132

    8. Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations

      • Tore Urnes, T. C. Nicholas Graham
      Pages 133-147

    9. Using TRIO Specifications to Generate Test Cases for an Interactive System

      • Bruno d’Ausbourg, Jacques Cazin
      Pages 148-166

    10. Using automated reasoning in the design of an audio-visual communication system

      • José C. Campos, Michael D. Harrison
      Pages 167-188

    11. Analysing User Deviations in Interactive Safety-Critical Applications

      • F. Paternò, C. Santoro, B. Fields
      Pages 189-204

    12. Dialogue Validation from Task Analysis

      • Francis Jambon, Patrick Girard, Yohann Boisdron
      Pages 205-224

    13. Task- and Object-Oriented Development of Interactive Systems — How many models are necessary ?

      • Peter Forbrig
      Pages 225-237

    14. Usability Properties in Dialog Models

      • Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns
      Pages 238-253

  4. Position Papers

    1. Cross-Contextual Reference in Human-Computer Interaction

      • Jon Rowson, Peter Johnson, Graham White
      Pages 254-261

    2. Modelisation of Co-operative Work

      • M. Gea, F. L. Gutierrez, J. C. Torres, N. Padilla, M. Cabrera
      Pages 262-267

  5. Working Group Discussions

    1. Discussion topics for the DSV-IS’99 working groups

      • D. J. Duke
      Pages 268-269
Back to top

Keywords

About this book

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi­ cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni­ versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col­ laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in­ teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting.

Editors and Affiliations

  • Department of Computer Science, University of York, York, UK

    David Duke

  • Red Whale Software, Palo Alto, USA

    Angel Puerta

Bibliographic Information

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

  • Book Subtitle: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999

  • Editors: David Duke, Angel Puerta

  • Series Title: Eurographics

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

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag/Wien 1999

  • Softcover ISBN: 978-3-211-83405-3Published: 01 October 1999

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

  • Series ISSN: 0946-2767

  • Edition Number: 1

  • Number of Pages: X, 282

  • Number of Illustrations: 34 b/w illustrations

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

Publish with us

Policies and ethics

Back to top

Search

Navigation