Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefu...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2008, 2008
|
| Edition: | 1st ed. 2008 |
| Series: | Programming and Software Engineering
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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
- Towards Usability Evaluation for Smart Appliance Ensembles
- Task Model Refinement with Meta Operators
- Utilizing Dynamic Executable Models for User Interface Development
- 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