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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Graham, T. C. Nicholas (Editor ), Palanque, Philippe (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5136
Temas:
User interfaces (Computer systems).
Human-computer interaction.
Computer networks .
Software engineering.
Multimedia systems.
Information storage and retrieval systems.
User Interfaces and Human Computer Interaction.
Computer Communication Networks.
Software Engineering.
Multimedia Information Systems.
Information Storage and Retrieval.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares