Search Results

This panel commemorates the 50th anniversary of the IFIP TC2 Working Conference on Command Languages (CCL) and the 30th anniversary of the workshop series on Design Specification and Verification of Interactive Systems (DSV-IS), and uses that ...

This workshop is the second edition and aims to bring together researchers and practitioners interested in the engineering of interactive systems that embed AI technologies (as for instance, AI-based recommender systems) or that use AI during the ...

Designing new input devices and associated interaction techniques is a key contribution in order to increase the bandwidth between users and interactive applications. In the field of Human-Computer Interaction, research and development services in ...

Engagement and well-being are complex phenomena that deeply depend on the individuals themselves and include subjective perception of the past, present, and future experiences. Connecting with work adds a concrete dimension to engagement and well-...

Multiple empirical studies have been proposed to support developers' tasks by means of automation. These automations exhibit different levels of granularity ranging from low-level tasks to much higher-level tasks. However, proposed automation ...

Software users are diverse, with differing personalities, technical proficiency, emotional reactions to software systems, socio-economic status, gender, age, culture, language, and preferences. Capturing and supporting human factors at requirements or ...

In many contexts, control rooms are safety-relevant and, from the point of view of HCI research, complex socio-technical systems. This article first summarizes the contributions of the IFIP WG 13.5 Workshop at INTERACT 2023 entitled “On Land, at ...

In many areas, successfully deploying interfaces with high usability and user experience (UX) is crucial for people’s safety and well-being. These include, for example, control rooms for emergency services and energy suppliers, aircraft cockpits, ...

At this time, there is a lot of discussion and attention on the adoption of artificial intelligence in real-world automations. In this panel, we will discuss the role of Human-Computer Interaction in creating meaningful devices, applications and ...

Complete and unambiguous descriptions of user tasks is a cornerstone of user centered design approaches as they provide a unique way of describing precisely and entirely users’ actions that have to be performed in order for them to reach their ...

This paper proposes a unified formal framework, Formal Framework For FLUID (F3FLUID), for the development of safety‐critical interactive systems. This framework is based on the Formal Language of User Interface Design (FLUID) pivot modeling ...

A unified formal framework, Formal Framework For FLUID (F3FLUID), is proposed for the development of safety‐critical interactive systems. This framework is based on the Formal Language of User Interface Design (FLUID) pivot modeling language, which is ...

This position paper questions the need for systematically embedding AI technologies in interactive computing systems when other programming-based alternatives are available. Indeed, while AI technologies bring critical benefits in some contexts ...

Several technologies and tools have been proposed to assist rehabilitation team in performing exercises. They can help rehabilitation specialists to manage more patients when practicing their exercises, either in presence or remotely. They also ...

This workshop aims at bringing together researchers and practitioners interested in the engineering of interactive systems which embed AI technologies (as for instance, recommender systems engines). The objective is to identify (from experience reported ...

Post-stroke or post-brain injuries rehabilitation is a long-term process defined by therapists and tuned to the specific damages and their consequences for each patient. This process requires the definition of well-defined multiple exercises to be ...

This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. ...

This course takes both a practical and theoretical approach to introduce the principles, methods and tools for including “non-standards” properties inside interactive systems and interaction technologies. The course focusses on safety, dependability and ...

Automated systems are becoming common in private, public and professional life. Given their increasing ubiquity and availability to a growing diversity of users, it is important to explore requirements, design principles, and user experience factors ...