Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Keynote -- How Do Developers Meet Users? – Attitudes and Processes in Software Development -- HCI Research -- Validity and Cross-Validity in HCI Publications -- Critical Systems -- Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged Participatory Multimedia Events -- Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT -- Cognitive Aspects of Interaction -- An Investigation into the Validation of Formalised Cognitive Dimensions -- Formal Modelling of Cognitive Interpretation -- Use of Models -- Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications -- An Ontological Approach to Visualization Resource Management -- Visual Design of User Interfaces by (De)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis of Pointing Tasks on a White Board -- Prototyping and Evaluation -- Mixed-Fidelity Prototyping of User Interfaces -- A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules -- Rapid User-Centred Evaluation for Context-Aware Systems -- Supporting User Interface Development -- Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group Discussions -- Processes: Working Group Report.-Usability and Computer Games: Working Group Report.