Skip to main content
SpringerLink
Log in
Book cover

Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Stephen W. Gilroy

    1. School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael D. Harrison

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, 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 3941)

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

Included in the following conference series:

Conference proceedings info: DSV-IS 2005.

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

  1. Front Matter

    Download chapter PDF

  2. Keynote

    1. User Experience and the Idea of Design in HCI

      • Peter Wright, Mark Blythe, John McCarthy
      Pages 1-14

  3. Teams and Groups

    1. Formalising Performative Interaction

      • Alan Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O’Malley
      Pages 15-25

    2. DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems

      • Ann Blandford, Dominic Furniss
      Pages 26-38

    3. Towards Model Checking Stochastic Aspects of the thinkteam User Interface

      • Maurice H. ter Beek, Mieke Massink, Diego Latella
      Pages 39-50

    4. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems

      • Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe Palanque
      Pages 51-66

  4. Sketches and Templates

    1. Natural Modelling of Interactive Applications

      • Fabio Paternò, Marco Volpe
      Pages 67-77

    2. Task Model Simulation Using Interaction Templates

      • David Paquette, Kevin A. Schneider
      Pages 78-89

    3. Investigating Annotation in Electronic Paper-Prototypes

      • Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan
      Pages 90-101

  5. Away from the Desktop

    1. Test of the ICARE Platform Fusion Mechanism

      • Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
      Pages 102-113

    2. A Method for the Verification of Haptic Algorithms

      • Joan De Boeck, Chris Raymaekers, Karin Coninx
      Pages 114-125

    3. A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases

      • El Mustapha El Atifi, Gilles Falquet
      Pages 126-136

  6. Migration and Mobility

    1. A Calculus for the Refinement and Evolution of Multi-user Mobile Applications

      • W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe
      Pages 137-148

    2. A Taxonomy for Migratory User Interfaces

      • Silvia Berti, Fabio Paternò, Carmen Santoro
      Pages 149-160

    3. Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML

      • Francisco Montero, Víctor López-Jaquero, Jean Vanderdonckt, Pascual González, María Lozano, Quentin Limbourg
      Pages 161-172

  7. Analysis Tools

    1. Concept Analysis as a Formal Method for Menu Design

      • Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun
      Pages 173-187

    2. Supporting Resource-Based Analysis of Task Information Needs

      • José Creissac Campos, Gavin J. Doherty
      Pages 188-200

    3. Automatic Critiques of Interface Modes

      • Jeremy Gow, Harold Thimbleby, Paul Cairns
      Pages 201-212

    4. Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis

      • Kwang Chun Lee, Ho-Jin Choi, Dan Hyung Lee, Sungwon Kang
      Pages 213-224

  8. Model-Based Design Processes and Tools

    1. A Model-Based Design Process for Interactive Virtual Environments

      • Erwin Cuppens, Chris Raymaekers, Karin Coninx
      Pages 225-236
Back to top

Other volumes

  1. Interactive Systems. Design, Specification, and Verification

Keywords

Editors and Affiliations

  • School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK

    Stephen W. Gilroy

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Michael D. Harrison

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation