Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE 2008) and the 7th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008). HCSE is a working conference that brings together researchers and practitioners - terested in strengthening the scientific foundations of user interface design and examining the relationship between software engineering and human-computer interaction and how to strengthen user-centred design as an essential part of so- ware engineering processes. As a working conference, substantial time is devoted to the open and lively discussion of papers. TAMODIA is an international workshop on models, such as task models and visual representations in Human-Computer Interaction (one of the most widely used notations in this area, ConcurTaskTrees, was developed in the town that hosted this year’s event). It focuses on notations used to describe user tasks ranging from textual and graphical forms to interactive, multimodal and multimedia tools.

Usability engineering is about designing products that are easy to use. This text provides an introduction to human computer interaction principles, and how to apply them in ways that make software and hardware more effective and easier to use.

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.

The articles by well-known international experts intend to facilitate more elaborate expositions of the research presented at the seminar, and to collect and document the results of the various discussions, including ideas and open problems that were identified. Correspondingly the book will consist of two parts. Part I will consist of extended articles describing research presented at the seminar. This will include papers on tracking, motion capture, displays, cloth simulation, and applications. Part II will consist of articles that capture the results of breakout discussions, describe visions, or advocate particular positions. This will include discussions about system latency, 3D interaction, haptic interfaces, social gaming, perceptual issues, and the fictional "Holodeck".

This book constitutes the refereed proceedings of the 5th International Conference on Convergence and Hybrid Information Technology, ICHIT 2011, held in Daejeon, Korea, in September 2011. The 85 revised full papers presented were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on communications and networking; motion, video, image processing; security systems; cloud, RFID and robotics; industrial application of software systems; hardware and software engineering; healthcare, EEG and e-learning; HCI and data mining; software system and its applications.

"This book offers a variety of perspectives on multimodal user interface design, describes a variety of novel multimodal applications and provides several experience reports with experimental and industry-adopted mobile multimodal applications"--Provided by publisher.

This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022. The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and Information Systems Integration; Artificial Intelligence and Decision Support Systems; Information Systems Analysis and Specification; Human-Computer Interaction; and Enterprise Architecture.

This thesis is concerned with the development of interactive systems for smart environments. One of the characteristic of smart environments is the need to support different interaction paradigms at runtime. On the one hand interaction is performed explicitly: the user performs an action in order to interact with the system (e.g., pressing a button to adjust the light). On the other hand actions of the user are interpreted by the smart environment, even though they have not been performed primarily to interact with the system: implicit interactions (e.g., walking to the speaker's desk to give a talk). A smart environment tries to infer those interactions to assist the user in her work (e.g., display slides at the projection canvas). Both interaction paradigms originate from different research fields and are currently treated independently although implicit and explicit interaction mutually influence each other and occur interleaved. The thesis introduces a task modeling language in order to cope with the given requirements of smart environments which can be used to perform interaction development for smart environments in a model-based fashion for both interaction paradigms.

This book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy. The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today’s and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice. Chapter “Extreme Citizen Science Contributions to the Sustainable Development Goals: Challenges and Opportunities for a Human-Centred Design Approach” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.