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