Interactive Systems. Design, Specification, and Verification - 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Verlag | Springer |
Auflage | 2007 |
Seiten | 276 |
Format | 23,5 cm |
Gewicht | 434 g |
Artikeltyp | Englisches Buch |
Reihe | Lecture Notes in Computer Science 4323 |
ISBN-10 | 3540695532 |
EAN | 9783540695530 |
Bestell-Nr | 54069553A |
Inhaltsverzeichnis:
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 Engineeri ng 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.