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.

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

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.

Distinguishing between tangible user interfaces (TUI) and tangible interactive systems (TISs), this book takes into account not only the user interfaces but also looks at how interaction can be enabled by using digital information through the physical environment. TISs go far beyond the concept of tangible user interfaces, addressing large complex systems in the framework of human-centred design and putting the human at the center of the design process from the start. How can human-centered designers grasp the real world with computers? This question is explored by looking at concepts such as innovation, complexity, flexibility, maturity, stability, sustainability and art to see whether we can assess both physical and figurative tangibility during the design process before product delivery. Concepts like creativity, design thinking and team spirit are fundamental to TIS’s human-centered design, and are presented together with human-systems integration (HSI), agile development and formative evaluations to build a greater understanding of this new area of research. Tangible Interactive Systems would be an essential read to designers, academics and other professionals concerned with product design within HCI, industrial design, virtual engineering and other related areas.

This innovative text focuses on the architectures, mathematics, and algorithms that are integral to creating reliable user interfaces. The first sixteen chapters cover the concepts required for current graphical user interfaces, including specific emphasis on the Model-View-Controller architecture. The second part of the book provides an overview of key research areas in interactive systems, with a focus on the algorithms required to implement these systems. Using clear descriptions, equations, and pseudocode, this text simplifies and demystifies the development and application of a variety of user interfaces

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.