↓ Skip to main content

Interactive Systems:Design, Specification, and Verification

Overview of attention for book
Interactive Systems:Design, Specification, and Verification
Springer Berlin Heidelberg

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
Attention for Chapter 17: Blending Descriptive and Numeric Analysis in Human Reliability Design
Altmetric Badge

Readers on

mendeley
10 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.
Chapter title
Blending Descriptive and Numeric Analysis in Human Reliability Design
Chapter number 17
Book title
Interactive Systems:Design, Specification, and Verification
Published by
Springer, Berlin, Heidelberg, June 2002
DOI 10.1007/3-540-36235-5_17
Book ISBNs
978-3-54-000266-6, 978-3-54-036235-7
Authors

Shamus P. Smith, Michael D. Harrison

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 10 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 3 30%
Student > Postgraduate 2 20%
Lecturer 1 10%
Professor 1 10%
Other 1 10%
Other 0 0%
Unknown 2 20%
Readers by discipline Count As %
Computer Science 5 50%
Engineering 2 20%
Unknown 3 30%