Interactive Systems. Design Specification, And Verification: 12th International Workshop, Dsvis 2005, Newcastle upon Tyne, Uk, July 13-15, 2005, Revised Papers

by Gilroy, Stephen W.; Harrison, Michael D.

• ISBN13: 9783540341451
• ISBN10: 3540341455
• Format: Paperback
• Copyright: 2006-06-15
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005, held in Newcastle upon Tyne, UK, in July 2005.The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.

Table of Contents

User experience and the idea of design in HCI	p. 1
Formalising performative interaction	p. 15
DiCoT : a methodology for applying distributed cognition to the design of teamworking systems	p. 26
Towards model checking stochastic aspects of the thinkteam user interface	p. 39
Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems	p. 51
Natural modelling of interactive applications	p. 67
Task model simulation using interaction templates	p. 78
Investigating annotation in electronic paper-prototypes	p. 90
Test of the ICARE platform fusion mechanism	p. 102
A method for the verification of haptic algorithms	p. 114
A specification language and system for the three-dimensional visualisation of knowledge bases	p. 126
A calculus for the refinement and evolution of multi-user mobile applications	p. 137
A taxonomy for migratory user interfaces	p. 149
Solving the mapping problem in user interface design by seamless integration in IdealXML	p. 161
Concept analysis as a formal method for menu design	p. 173
Supporting resource-based analysis of task information needs	p. 188
Automatic critiques of interface modes	p. 201
Quantitative measurement of quality attribute preferences using conjoint analysis	p. 213
A model-based design process for interactive virtual environments	p. 225
Mapping ConcurTaskTrees into UML 2.0	p. 237
Goal-oriented design of domain control panels	p. 249
Future challenges of model-based design	p. 261
Supporting values other than usability and performance within the design process	p. 262
Ambience and mobility	p. 264
Outdated ideas of the design process and the future of formal models, methods and notations	p. 265
Table of Contents provided by Blackwell. All Rights Reserved.