↓ 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 Specifying Temporal Behaviour in Software Architectures for Groupware Systems
  3. Altmetric Badge
    Chapter 2 Questioning the Foundations of Utility for Quality of Service in Interface Development
  4. Altmetric Badge
    Chapter 3 A Framework for the Combination and Characterization of Output Modalities
  5. Altmetric Badge
    Chapter 4 Specifying Multiple Time Granularities in Interactive Systems
  6. Altmetric Badge
    Chapter 5 Verifying the Behaviour of Virtual Environment World Objects
  7. Altmetric Badge
    Chapter 6 SUIT — Context Sensitive Evaluation of User Interface Development Tools
  8. Altmetric Badge
    Chapter 7 Structuring Interactive Systems Specifications for Executability and Prototypability
  9. Altmetric Badge
    Chapter 8 A Toolkit of Mechanism and Context Independent Widgets
  10. Altmetric Badge
    Chapter 9 Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties
  11. Altmetric Badge
    Chapter 10 More Precise Descriptions of Temporal Relations within Task Models
  12. Altmetric Badge
    Chapter 11 Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
  13. Altmetric Badge
    Chapter 12 Wisdom — A UML Based Architecture for Interactive Systems
  14. Altmetric Badge
    Chapter 13 User Interface Declarative Models and Development Environments: A Survey
  15. Altmetric Badge
    Chapter 14 The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results
Attention for Chapter 7: Structuring Interactive Systems Specifications for Executability and Prototypability
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

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

2

The most recent citing publications are shown below. View all 2 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.