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

Front Cover
Gavin Doherty, Ann Blandford
Springer Science & Business Media, Jan 18, 2007 - Computers - 276 pages

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

How Do Developers Meet Users? Attitudes and Processes in Software Development
1
Validity and CrossValidity in HCI Publications
11
ModelBased Engineering of Widgets User Applications and Servers Compliant with ARINC 661 Specification
25
Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System
39
Evaluation of Safety Critical Interactive Systems
52
Collaborative Social Structures and Task Modelling Integration
67
Towards ModelDriven Development of Staged Participatory Multimedia Events
81
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT
95
Visual Design of User Interfaces by Decomposition
157
Exploring the Specification of Haptic Interaction
171
Analysis of Pointing Tasks on a White Board
185
MixedFidelity Prototyping of User Interfaces
199
A Hybrid Approach for Modelling Early Prototype Evaluation Under UserCentred Design Through Association Rules
213
Rapid UserCentred Evaluation for ContextAware Systems
220
Using a PatternsBased Modelling Language and a ModelBased Adaptation Architecture to Facilitate Adaptive User Interfaces
234
Toward QualityDriven Development of 3D Computer Games
248

An Investigation into the Validation of Formalised Cognitive Dimensions
109
Formal Modelling of Cognitive Interpretation
123
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
137
An Ontological Approach to Visualization Resource Management
151
Working Group Report
262
Working Group Report
265
Author Index
269
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information