Engineering Interactive Systems

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and humancomputer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: • HCSE 2007 Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. • EHCI 2007 Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. • DSV-IS 2007 Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.

Klappentext

This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP.

The 37 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on analysis and verification, task and engineering models, design for use in context, architecture, models for reasoning and finally patters and guidelines.

Inhalt
Performance Analysis of an Adaptive User Interface System Based on Mobile Agents.- Combining Human Error Verification and Timing Analysis.- Formal Testing of Multimodal Interactive Systems.- Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers.- Consistency between Task Models and Use Cases.- Task-Based Design and Runtime Support for Multimodal User Interface Distribution.- A Comprehensive Model of Usability.- Suitability of Software Engineering Models for the Production of Usable Software.- A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces.- Model-Driven Prototyping for Corporate Software Specification.- Getting SW Engineers on Board: Task Modelling with Activity Diagrams.- Considering Context and Users in Interactive Systems Analysis.- XSED XML-Based Description of StatusEvent Components and Systems.- Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System.- Factoring User Experience into the Design of Ambient and Mobile Systems.- Visualisation of Personal Communication Patterns Using Mobile Phones.- Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications.- Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments.- Intelligent Support for End-User Web Interface Customization.- Improving Modularity of Interactive Software with the MDPC Architecture.- Toward Quality-Centered Design of Groupware Architectures.- Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering.- Towards an Extended Model of User Interface Adaptation: The Isatine Framework.- Towards a Universal Toolkit Model for Structures.- Exploring Human Factors in Formal DiagramUsage.- 'Aware of What?' A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model.- Service-Interaction Descriptions: Augmenting Services with User Interface Models.- A Design-Oriented Information-Flow Refinement of the ASUR Interaction Model.- On the Process of Software Design: Sources of Complexity and Reasons for Muddling through.- Applying Graph Theory to Interaction Design.- Mathematical Mathematical User Interfaces.- Coupling Interaction Resources in Ambient Spaces: There Is More Than Meets the Eye!.- Building and Evaluating a Pattern Collection for the Domain of Workflow Modeling Tools.- Do We Practise What We Preach in Formulating Our Design and Development Methods?.- Engaging Patterns: Challenges and Means Shown by an Example.- Organizing User Interface Patterns for e-Government Applications.- Including Heterogeneous Web Accessibility Guidelines in the Development Process.