Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Interactive Systems. Design, Specification, and Verification

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

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)

Conference series link(s): DSV-IS: International Workshop on Design, Specification, and Verification of Interactive Systems

Conference proceedings info: DSV-IS 2006.

Sections

Buy it now

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    PDF

  3. HCI Research

  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

  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

    2. Formal Modelling of Cognitive Interpretation

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

  7. Use of Models

    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

    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

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation