Interactive Systems. Design, Specification, and Verification

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

  • Stephen W. Gilroy
  • Michael D. Harrison
Conference proceedings DSV-IS 2005

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

Table of contents

  1. Front Matter
    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

About these proceedings

Keywords

Fusion HCI Inform System UML Unified Modeling Language (UML) adaptive interfaces algorithm algorithms formal method formal methods groupware mobile computing modeling user interface design

Editors and affiliations

  • Stephen W. Gilroy
    • 1
  • Michael D. Harrison
    • 2
  1. 1.School of Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUK
  2. 2.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/11752707
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34145-1
  • Online ISBN 978-3-540-34146-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book