Skip to main content
SpringerLink
Log in

Interactive Systems: Design, Specification, and Verification

9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Peter Forbrig

    1. Fachbereich Informatik, Universität Rostock, Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Quentin Limbourg

    1. Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Louvain-La-Neuve, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jean Vanderdonckt

    1. Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Louvain-La-Neuve, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bodo Urban

    1. Fraunhofer-Institut für Graphische Datenverarbeitung, Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2545)

Included in the following conference series:

Conference proceedings info: DSV-IS 2002.

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-X
    Download chapter PDF

  2. From a Formal User Model to Design Rules

    • Paul Curzon, Ann Blandford
    Pages 1-15

  3. A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

    • José Luis Garrido, Miguel Gea
    Pages 16-28

  4. Adaptive User Interface for Mobile Devices

    • Nikola Mitrović, Eduardo Mena
    Pages 29-43

  5. Migratable User Interface Descriptions in Component-Based Development

    • Kris Luyten, Chris Vandervelpen, Karin Coninx
    Pages 44-58

  6. Task Modelling in Multiple Contexts of Use

    • Nathalie Souchon, Quentin Limbourg, Jean Vanderdonckt
    Pages 59-73

  7. Notational Support for the Design of Augmented Reality Systems

    • Emmanuel Dubois, Paulo Pinheiro da Silva, Philip Gray
    Pages 74-88

  8. Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing

    • Lars Braubach, Alexander Pokahr, Daniel Moldt, Andreas Bartelt, Winfried Lamersdorf
    Pages 89-103

  9. Combining Compound Conceptual User Interface Components with Modelling Patterns — A Promising Direction for Model-Based Cross-Platform User Interface Development

    • Erik G. Nilsson
    Pages 104-117

  10. Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model

    • Ahmed Seffah, Peter Forbrig
    Pages 118-132

  11. Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness

    • Andrew Walenstein
    Pages 133-147

  12. User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics

    • Sergiy Boyko, Peter Forbrig, Anatoli Yashin
    Pages 148-158

  13. User Interface Conceptual Patterns

    • Pedro J. Molina, Santiago Meliá, Oscar Pastor
    Pages 159-172

  14. Monitoring Human Faces from Multi-view Image Sequences

    • Nailja Luth
    Pages 173-184

  15. Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”

    • David Ahlström, Martin Hitz, Gerhard Leitner
    Pages 185-195

  16. Designing User Interaction for Face Tracking Applications

    • David Chatting, Jeremy Thorne
    Pages 196-207

  17. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems

    • Xavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide
    Pages 208-222

  18. Blending Descriptive and Numeric Analysis in Human Reliability Design

    • Shamus P. Smith, Michael D. Harrison
    Pages 223-237

  19. Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

    • Alan Dix
    Pages 238-252

  20. Architecture Considerations for Interoperable Multi-modal Assistant Systems

    • Thomas Heider, Thomas Kirste
    Pages 253-267
Back to top

Other volumes

  1. Interactive Systems:Design, Specification, and Verification

Keywords

About this book

 This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of  Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.

The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

Editors and Affiliations

  • Fachbereich Informatik, Universität Rostock, Rostock, Germany

    Peter Forbrig

  • Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Louvain-La-Neuve, Belgium

    Quentin Limbourg, Jean Vanderdonckt

  • Fraunhofer-Institut für Graphische Datenverarbeitung, Rostock, Germany

    Bodo Urban

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation