Skip to main content
SpringerLink
Log in
Book cover

Interactive Systems. Design, Specification, and Verification

13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Gavin Doherty
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ann Blandford
    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 4323)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: DSV-IS 2006.

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

    Download chapter PDF

  3. HCI Research

    1. Validity and Cross-Validity in HCI Publications

      • Harold Thimbleby
      Pages 11-24

  4. Critical Systems

    1. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification

      • Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque
      Pages 25-38

    2. Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System

      • Mónica Sara Santos, João Falcão e Cunha, Altamiro da Costa Pereira
      Pages 39-51

    3. Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems

      • Harold Thimbleby
      Pages 52-66

  5. Model Based Development

    1. Collaborative Social Structures and Task Modelling Integration

      • Victor M. R. Penichet, Fabio Paternò, J. A. Gallud, Maria D. Lozano
      Pages 67-80

    2. Towards Model-Driven Development of Staged Participatory Multimedia Events

      • Jan Van den Bergh, Steven Huypens, Karin Coninx
      Pages 81-94

    3. Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT

      • Karin Coninx, Erwin Cuppens, Joan De Boeck, Chris Raymaekers
      Pages 95-108

  6. Cognitive Aspects of Interaction

    1. An Investigation into the Validation of Formalised Cognitive Dimensions

      • Chris Roast, Babak Khazaei
      Pages 109-122

    2. Formal Modelling of Cognitive Interpretation

      • Rimvydas RukÅ¡Ä—nas, Paul Curzon, Jonathan Back, Ann Blandford
      Pages 123-136

  7. Use of Models

    1. Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

      • J. C. Silva, José Creissac Campos, João Saraiva
      Pages 137-150

    2. An Ontological Approach to Visualization Resource Management

      • Richard Potter, Helen Wright
      Pages 151-156

    3. Visual Design of User Interfaces by (De)composition

      • Sophie Lepreux, Jean Vanderdonckt, Benjamin Michotte
      Pages 157-170

  8. Haptics and Multimodality

    1. Exploring the Specification of Haptic Interaction

      • Shamus P. Smith
      Pages 171-184

    2. Analysis of Pointing Tasks on a White Board

      • G. Faconti, Mieke Massink
      Pages 185-198

  9. Prototyping and Evaluation

    1. Mixed-Fidelity Prototyping of User Interfaces

      • Jennifer N. Petrie, Kevin A. Schneider
      Pages 199-212

    2. A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules

      • María Paula González, Toni Granollers, Jesús Lorés
      Pages 213-219

    3. Rapid User-Centred Evaluation for Context-Aware Systems

      • Eleanor O’Neill, David Lewis, Kris McGlinn, Simon Dobson
      Pages 220-233

  10. Supporting User Interface Development

    1. Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces

      • Erik G. Nilsson, Jacqueline Floch, Svein Hallsteinsen, Erlend Stav
      Pages 234-247
Back to top

Other volumes

  1. Interactive Systems. Design, Specification, and Verification

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation