Abstract
The paper briefly explores a layered approach to the analysis of two interactive systems (Nuclear Control and Air Traffic Control), indicating how the analysis enables exploration of the particular features emphasised by the use cases relating to the examples. These features relate to the interactive behaviour of the systems. To facilitate the analysis, property templates are proposed as heuristics for developing appropriate requirements for the respective user interfaces.

Abstract

Abstract
Model checkers can automatically verify a system’s behavior against temporal logic properties. However, analyzing the counterexamples produced in case of failure is still a manual process that requires both technical and domain knowledge. However, this step is crucial to understand the flaws of the system being verified. This paper presents a language created to support the generation of natural language explanations of counterexamples produced by a model checker. The language supports querying the properties and counterexamples to generate the explanations. The paper explains the language components and how they can be used to produce explanations. © Ezequiel José Veloso Ferreira Moreira and José Creissac Campos.

Abstract
The second workshop on HCI Engineering Education continued the effort of the IFIP Working Group 2.7/13.4 on User Interface Engineering by discussing the issues and identifying the opportunities in teaching and learning Human-Computer Interaction (HCI) Engineering. The workshop attracted eight papers covering different teaching contexts, ranging from massive university courses, passing through different teaching experiences in specific academic curricula, and even teaching engineering concepts to children. In addition, the workshop received input for improving and adapting the repository material to the dynamic nature of this field. The discussion after the presentation of the contributions focused on how to model competencies, the support to interdisciplinary work, the overall course design, the recruitment of the students and the provision of educational resources, paving the way for further editions of the workshop.

Abstract
This paper leverages the outcomes of the first workshop on HCI Engineering Education [4] to create an online repository where the community can share content relevant to HCI. The repository takes advantage of the functionalities of the Git file versioning system to support presenting and adding content. The paper describes the structure of the repository and the process for adding new content. In addition, we propose an adaptation of the framework for presenting teaching samples, supporting more flexibility in the application of educational material for different teaching objectives. The new presentation format starts with describing a design problem and emphasises the students' applied understanding of conceptual and theoretical knowledge. The presentation format is demonstrated and discussed by the example of an end-user design tool for mobile data collection.