Interactive Systems. Design, Specification, and Verification (eBook)

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.- Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.- An Attentive Groupware Device to Mitigate Information Overload.- Multi-fidelity User Interface Specifications.- HOPS: A Prototypical Specification Tool for Interactive Systems.- Systematic Analysis of Control Panel Interfaces Using Formal Tools.- Investigating System Navigation Ergonomics through Model Verification.- Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.- Towards a Library of Workflow User Interface Patterns.- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.- Pattern Languages as Tool for Discount Usability Engineering.- Cascading Dialog Modeling with UsiXML.- Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.- Lightweight Coding of Structurally Varying Dialogs.- ReWiRe: Designing Reactive Systems for Pervasive Environments.- Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.- A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.- Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.- Resources for Situated Actions.- An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.- COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.- Executable Models for Human-Computer Interaction.- A Middleware for Seamless Use of Multiple Displays.- Graphic Rendering Considered as a Compilation Chain.- Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.- Towards Characterizing Visualizations.- Towards Usability Evaluation for Smart Appliance Ensembles.- Task Model Refinement with Meta Operators.- Utilizing Dynamic Executable Models for User Interface Development.