↓ 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 From a Formal User Model to Design Rules
  3. Altmetric Badge
    Chapter 2 A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
  4. Altmetric Badge
    Chapter 3 Adaptive User Interface for Mobile Devices
  5. Altmetric Badge
    Chapter 4 Migratable User Interface Descriptions in Component-Based Development
  6. Altmetric Badge
    Chapter 5 Task Modelling in Multiple Contexts of Use
  7. Altmetric Badge
    Chapter 6 Notational Support for the Design of Augmented Reality Systems
  8. Altmetric Badge
    Chapter 7 Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing
  9. Altmetric Badge
    Chapter 8 Combining Compound Conceptual User Interface Components with Modelling Patterns — A Promising Direction for Model-Based Cross-Platform User Interface Development
  10. Altmetric Badge
    Chapter 9 Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model
  11. Altmetric Badge
    Chapter 10 Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness
  12. Altmetric Badge
    Chapter 11 User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics
  13. Altmetric Badge
    Chapter 12 User Interface Conceptual Patterns
  14. Altmetric Badge
    Chapter 13 Monitoring Human Faces from Multi-view Image Sequences
  15. Altmetric Badge
    Chapter 14 Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”
  16. Altmetric Badge
    Chapter 15 Designing User Interaction for Face Tracking Applications
  17. Altmetric Badge
    Chapter 16 Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
  18. Altmetric Badge
    Chapter 17 Blending Descriptive and Numeric Analysis in Human Reliability Design
  19. Altmetric Badge
    Chapter 18 Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
  20. Altmetric Badge
    Chapter 19 Architecture Considerations for Interoperable Multi-modal Assistant Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
4 patents
wikipedia
11 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 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 2003
DOI 10.1007/3-540-36235-5
ISBNs
978-3-54-000266-6, 978-3-54-036235-7
Editors

Forbrig, Peter, Limbourg, Quentin, Vanderdonckt, Jean, Urban, Bodo

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Belgium 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Professor 1 13%
Professor > Associate Professor 1 13%
Unknown 6 75%
Readers by discipline Count As %
Computer Science 2 25%
Unknown 6 75%