13. DSV-IS 2006: Dublin, Ireland

Gavin J. Doherty, Ann Blandford (Eds.): Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Lecture Notes in Computer Science 4323 Springer 2007, ISBN 978-3-540-69553-0

Keynote

Jan Gulliksen:
How Do Developers Meet Users? - Attitudes and Processes in Software Development. 1-10

HCI Research

Harold W. Thimbleby:
Validity and Cross-Validity in HCI Publications. 11-24

Critical Systems

Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque:
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. 25-38
Mónica Sara Santos, João Falcão e Cunha, Altamiro da Costa Pereira:
Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System. 39-51
Harold W. Thimbleby:
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. 52-66

Model Based Development

Victor M. Ruiz Penichet, Fabio Paternò, José A. Gallud, María Dolores Lozano:
Collaborative Social Structures and Task Modelling Integration. 67-80
Jan Van den Bergh, Steven Huypens, Karin Coninx:
Towards Model-Driven Development of Staged Participatory Multimedia Events. 81-94
Karin Coninx, Erwin Cuppens, Joan De Boeck, Chris Raymaekers:
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT. 95-108

Cognitive Aspects of Interaction

Chris Roast, Babak Khazaei:
An Investigation into the Validation of Formalised Cognitive Dimensions. 109-122
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford:
Formal Modelling of Cognitive Interpretation. 123-136

Use of Models

João Carlos Silva, José Creissac Campos, João Saraiva:
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. 137-150
Richard Potter, Helen Wright:
An Ontological Approach to Visualization Resource Management. 151-156
Sophie Lepreux, Jean Vanderdonckt, Benjamin Michotte:
Visual Design of User Interfaces by (De)composition. 157-170

Haptics and Multimodality

Shamus P. Smith:
Exploring the Specification of Haptic Interaction. 171-184
Giorgio P. Faconti, Mieke Massink:
Analysis of Pointing Tasks on a White Board. 185-198

Prototyping and Evaluation

Jennifer N. Petrie, Kevin A. Schneider:
Mixed-Fidelity Prototyping of User Interfaces. 199-212
María Paula González, Toni Granollers, Jesús Lorés:
A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules. 213-219
Eleanor O'Neill, David Lewis, Kris McGlinn, Simon Dobson:
Rapid User-Centred Evaluation for Context-Aware Systems. 220-233

Supporting User Interface Development

Erik G. Nilsson, Jacqueline Floch, Svein O. Hallsteinsen, Erlend Stav:
Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces. 234-247
T. C. Nicholas Graham, Will Roberts:
Toward Quality-Driven Development of 3D Computer Games. 248-261

Group Discussions

Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet, Mónica Sara Santos, Jan Van den Bergh:
Processes: Working Group Report. 262-264
T. C. Nicholas Graham, Paul Curzon, Gavin Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith:
Usability and Computer Games: Working Group Report. 265-268