Skip to main content
SpringerLink
Log in

Interactive Systems: Design, Specification, and Verification

8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Chris Johnson

    1. Department of Computing Science, University of Glasgow, Glasgow, UK

    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 2220)

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

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Mobile Interface Design

    1. An XML-Based Runtime User Interface Description Language for Mobile Computing Devices

      • Kris Luyten, Karin Coninx
      Pages 1-15

    2. Model-Based User Interface Design Using Markup Concepts

      • Andreas Mueller, Peter Forbrig, Clemens Cap
      Pages 16-27

    3. Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

      • Kevin A. Schneider, James R. Cordy
      Pages 28-48

    4. Task Modelling for Context-Sensitive User Interfaces

      • Costin Pribeanu, Quentin Limbourg, Jean Vanderdonckt
      Pages 49-68

  3. Supervision and Control Systems

    1. Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis

      • Maria de F.Q.V. Turnell, Alexandre Scaico, Marckson R. F. de Sousa, Angelo Perkusich
      Pages 69-87

    2. A Tool Suite for Integrating Task and System Models through Scenarios

      • David Navarre, Philippe Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
      Pages 88-113

  4. Temporal and Stochastic Issues

    1. Temporal Patterns for Complex Interaction Design

      • Min Du, David England
      Pages 114-127

    2. Modelling Dynamic Group Behaviours

      • José Luis Garrido, Miguel Gea
      Pages 128-143

    3. Reasoning about Interactive Systems with Stochastic Models

      • G. Doherty, M. Massink, G. Faconti
      Pages 144-163

  5. New Perspectives

    1. Towards Uniformed Task Models in a Model-Based Approach

      • Quentin Limbourg, Costin Pribeanu, Jean Vanderdonckt
      Pages 164-182

    2. Heuristic Evaluation of Website Attractiveness and Usability

      • Alistair Sutcliffe
      Pages 183-198

    3. Affordance and Symmetry

      • Harold Thimbleby
      Pages 199-217

  6. Back Matter

    Pages 219-219
    Download chapter PDF
Back to top

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

Editors and Affiliations

  • Department of Computing Science, University of Glasgow, Glasgow, UK

    Chris Johnson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation