↓ Skip to main content

Interactive Systems. Design, Specification, and Verification

Overview of attention for book
Cover of 'Interactive Systems. Design, Specification, and Verification'

Table of Contents

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

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Interactive Systems. Design, Specification, and Verification
Published by
Springer Berlin Heidelberg, July 2008
DOI 10.1007/978-3-540-70569-7
ISBNs
978-3-54-070568-0, 978-3-54-070569-7
Editors

Graham, T. C. Nicholas, Palanque, Philippe

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 2 200%
Portugal 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 400%
Professor 3 300%
Professor > Associate Professor 2 200%
Student > Doctoral Student 2 200%
Student > Ph. D. Student 2 200%
Other 3 300%
Readers by discipline Count As %
Computer Science 14 1400%
Engineering 1 100%
Design 1 100%