Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Softcover

Softcover

ISBN 10: 3662190427 ISBN 13: 9783662190425

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 3662190427
• ISBN 13: 9783662190425
• Einband: Paperback
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar