Interactive Systems: Design, Specification, and Verification

From a Formal User Model to Design Rules.- A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling.- Adaptive User Interface for Mobile Devices.- Migratable User Interface Descriptions in Component-Based Development.- Task Modelling in Multiple Contexts of Use.- Notational Support for the Design of Augmented Reality Systems.- Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing.- Combining Compound Conceptual User Interface Components with Modelling Patterns — A Promising Direction for Model-Based Cross-Platform User Interface Development.- Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model.- Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness.- User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics.- User Interface Conceptual Patterns.- Monitoring Human Faces from Multi-view Image Sequences.- Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”.- Designing User Interaction for Face Tracking Applications.- Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.- Blending Descriptive and Numeric Analysis in Human Reliability Design.- Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces.- Architecture Considerations for Interoperable Multi-modal Assistant Systems.