↓ Skip to main content
What is this page? Embed badge

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 An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
  3. Altmetric Badge
    Chapter 2 Model-Based User Interface Design Using Markup Concepts
  4. Altmetric Badge
    Chapter 3 Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
  5. Altmetric Badge
    Chapter 4 Task Modelling for Context-Sensitive User Interfaces
  6. Altmetric Badge
    Chapter 5 Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
  7. Altmetric Badge
    Chapter 6 A Tool Suite for Integrating Task and System Models through Scenarios
  8. Altmetric Badge
    Chapter 7 Temporal Patterns for Complex Interaction Design
  9. Altmetric Badge
    Chapter 8 Modelling Dynamic Group Behaviours
  10. Altmetric Badge
    Chapter 9 Reasoning about Interactive Systems with Stochastic Models
  11. Altmetric Badge
    Chapter 10 Towards Uniformed Task Models in a Model-Based Approach
  12. Altmetric Badge
    Chapter 11 Heuristic Evaluation of Website Attractiveness and Usability
  13. Altmetric Badge
    Chapter 12 Affordance and Symmetry
Attention for Chapter 9: Reasoning about Interactive Systems with Stochastic Models
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
7 Mendeley
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.