Engineering Human Computer Interaction And Interactive Systems

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

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.

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.

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.

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.

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.

Current developments in the design and implementation of interactive software are presented and discussed in this volume by an international group of researchers and developers. Engineering for Human-Computer Interaction is a stimulating collection of current approaches to re-usable software and design tools for interactive systems. 23 full-length papers are grouped into five sections: Design Experiences, Models and Architectures, User Support, Formalisms, Programming Language Approaches. The introductions to each section highlight common themes and alternative approaches. Transcripts of discussions of presentations accompany each paper.