59 documents found, page 1 of 6

Towards automated load testing through the user interface

Slight variations in user interface response times can significantly impact the user experience provided by an interface. Load testing is used to evaluate how an application behaves under increasing loads. For interactive applications, load testing can be done by directly calling services at the business logic or through the user interface. In modern web applications, there is a considerable amount of control l...

Preface [International Conference on Rigorous State-Based Methods (ABZ 2023)]

[Excerpt] The International Conference on Rigorous State-Based Methods (ABZ 2023) was an international forum for the cross-fertilization of related state-based and machine-based formal methods, mainly Abstract StateMachines (ASM), Alloy, B, TLA +, VDM and Z. Rigorous state-based methods share common conceptual foundations and are widely used in both academia and industry for the design and analysis of hardware ...

Prototyping with the IVY workbench: bridging formal methods and user-centred de...

The IVY workbench is a model-based tool for the formal modelling and verification of interactive systems. The tool uses model checking to carry out the verification step. The goal is not to replace, but to complement more exploratory and iterative user-centred design approaches. However, the need for formal and rigorous modelling and reasoning raises challenges for the integration of both approaches. This paper...

HCI-E2 -2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education

This second workshop on HCI Engineering Education aims at carrying forward work on identifying, examining, structuring, and sharing educational resources and approaches to support the process of teaching/learning Human-Computer Interaction (HCI) Engineering. The widening range of available interaction technologies and their applications in increasingly varied contexts (private or professional) underlines the im...

AMAN case study

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 interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider...

Addressing interactive computing systems’ concerns in software engineering degrees

This paper arises from experience by the authors in teaching software engineering courses. It discusses the need for adequate coverage of Human-Computer Interaction topics in these courses and the challenges faced when addressing them. Three courses, at both licentiate and master’s levels, are used as triggers for the discussion. The paper argues that the lack of relevant Human-Computer Interaction concepts cre...

Preface [Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops]

Teaching HCI engineering: four case studies

The paper presents the work carried out at the HCI Engineering Education workshop, organised by IFIP working groups 2.7/13.4 and 13.1. It describes four case studies of projects and exercises used in Human-Computer Interaction Engineering courses. We propose a common framework for presenting the case studies and describe the four case studies in detail. We then draw conclusions on the differences between the pr...

Verification of railway network models with EVEREST

Models-at different levels of abstraction and pertaining to different engineering views-are central in the design of railway networks, in particular signalling systems. The design of such systems must follow numerous strict rules, which may vary from project to project and require information from different views. This renders manual verification of railway networks costly and error-prone. This paper presents E...

Development and validation of a descriptive cognitive model for predicting usab...

ObjectiveThe aim of the study was the development and evaluation of a Descriptive Cognitive Model (DCM) for the identification of three types of usability issues in a low-code development platform (LCDP).BackgroundLCDPs raise the level of abstraction of software development by freeing end-users from implementation details. An effective LCDP requires an understanding of how its users conceptualize programming. I...