Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (Lecture Notes in Computer Science, 4940)

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. Front Matter....Pages - Performance Analysis of an Adaptive User Interface System Based on Mobile Agents....Pages 1-17 Combining Human Error Verification and Timing Analysis....Pages 18-35 Formal Testing of Multimodal Interactive Systems....Pages 36-52 Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers....Pages 53-70 Consistency between Task Models and Use Cases....Pages 71-88 Task-Based Design and Runtime Support for Multimodal User Interface Distribution....Pages 89-105 A Comprehensive Model of Usability....Pages 106-122 Suitability of Software Engineering Models for the Production of Usable Software....Pages 123-139 A Model-Driven Engineering Approach for the Usability of Plastic User Interfaces....Pages 140-157 Model-Driven Prototyping for Corporate Software Specification....Pages 158-174 Getting SW Engineers on Board: Task Modelling with Activity Diagrams....Pages 175-192 Considering Context and Users in Interactive Systems Analysis....Pages 193-209 XSED – XML-Based Description of Status–Event Components and Systems....Pages 210-226 Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System....Pages 227-242 Factoring User Experience into the Design of Ambient and Mobile Systems....Pages 243-259 Visualisation of Personal Communication Patterns Using Mobile Phones....Pages 260-274 Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications....Pages 275-284 Reverse Engineering Cross-Modal User Interfaces for Ubiquitous Environments....Pages 285-302 Intelligent Support for End-User Web Interface Customization....Pages 303-320 Improving Modularity of Interactive Software with the MDPC Architecture....Pages 321-338 Toward Quality-Centered Design of Groupware Architectures....Pages 339-355 Programs = Data + Algorithms + Architecture: Consequences for Interactive Software Engineering....Pages 356-373 Towards an Extended Model of User Interface Adaptation: The I satine Framework....Pages 374-392 Towards a Universal Toolkit Model for Structures....Pages 393-412 Exploring Human Factors in Formal Diagram Usage....Pages 413-428 ‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model....Pages 429-446 Service-Interaction Descriptions: Augmenting Services with User Interface Models....Pages 447-464 A Design-Oriented Information-Flow Refinement of the ASUR Interaction Model....Pages 465-482 On the Process of Software Design: Sources of Complexity and Reasons for Muddling through....Pages 483-500 Applying Graph Theory to Interaction Design....Pages 501-519 Mathematical Mathematical User Interfaces....Pages 520-536 Coupling Interaction Resources in Ambient Spaces: There Is More Than Meets the Eye!....Pages 537-554 Building and Evaluating a Pattern Collection for the Domain of Workflow Modeling Tools....Pages 555-566 Do We Practise What We Preach in Formulating Our Design and Development Methods?....Pages 567-585 Engaging Patterns: Challenges and Means Shown by an Example....Pages 586-600 Organizing User Interface Patterns for e-Government Applications....Pages 601-619 Including Heterogeneous Web Accessibility Guidelines in the Development Process....Pages 620-637 Back Matter....Pages - 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 human–computer 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.

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.

Bevat: Conference on Human-Centerd Software Engineering (HCSE), Conference on Engineering Human Computer Interaction (EHCI), Conference on Design, Specification and Verification of Interactive Systems (DSV-IS)