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 BibTeX

Keynote

Jan Gulliksen:
How Do Developers Meet Users? - Attitudes and Processes in Software Development. 1-10
Electronic Edition (link) BibTeX

HCI Research

Harold W. Thimbleby:
Validity and Cross-Validity in HCI Publications. 11-24
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Harold W. Thimbleby:
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. 52-66
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Jan Van den Bergh, Steven Huypens, Karin Coninx:
Towards Model-Driven Development of Staged Participatory Multimedia Events. 81-94
Electronic Edition (link) BibTeX
Karin Coninx, Erwin Cuppens, Joan De Boeck, Chris Raymaekers:
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT. 95-108
Electronic Edition (link) BibTeX

Cognitive Aspects of Interaction

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

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
Electronic Edition (link) BibTeX
Richard Potter, Helen Wright:
An Ontological Approach to Visualization Resource Management. 151-156
Electronic Edition (link) BibTeX
Sophie Lepreux, Jean Vanderdonckt, Benjamin Michotte:
Visual Design of User Interfaces by (De)composition. 157-170
Electronic Edition (link) BibTeX

Haptics and Multimodality

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

Prototyping and Evaluation

Jennifer N. Petrie, Kevin A. Schneider:
Mixed-Fidelity Prototyping of User Interfaces. 199-212
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Eleanor O'Neill, David Lewis, Kris McGlinn, Simon Dobson:
Rapid User-Centred Evaluation for Context-Aware Systems. 220-233
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
T. C. Nicholas Graham, Will Roberts:
Toward Quality-Driven Development of 3D Computer Games. 248-261
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX