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.
Author(s): Nikola Mitrović, Jose A. Royo, Eduardo Mena (auth.), Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. van der Veer, Janet Wesson (eds.)
Series: Lecture Notes in Computer Science 4940 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 640
Tags: User Interfaces and Human Computer Interaction; Multimedia Information Systems; Software Engineering; Simulation and Modeling; Logics and Meanings of Programs; Computer Communication Networks
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 -
