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

Couverture souple

ISBN 10 : 3662190427 ISBN 13 : 9783662190425

Editeur : Springer, 2014

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662190427
• ISBN 13: 9783662190425
• Reliure: Paperback
• Coordonnées du fabricant: non disponible