Abstract

Abstract
A interface de utilizador é essencial para o sucesso de uma aplicação, ora a sua implementação requer tempo e esforço. Metodologias baseadas em modelos suportadas por uma geração automática têm sido propostas como solução para reduzir os custos de desenvolvimento. No entanto, um elevado nível de automação nestas abordagens requer o uso de modelos detalhados da interface, originando complicações. Por um lado, esta perspetiva é contrária a uma conceção baseada no progressivo refinamento de mockups, típica do desenvolvimento de interfaces. Por outro lado, obriga uma distinção entre os modelos utilizados na lógica de negócio e na interface. Este artigo propõe uma abordagem para gerar a interface de utilizador baseada diretamente em modelos estruturais da lógica de negócio. A identificação do domínio de aplicação é um factor chave da metodologia, permitindo automatizar o processo de geração. Por sua vez a separação entre conteúdo e forma favorece o refinamento iterativo das interfaces geradas.

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. © IFIP International Federation for Information Processing 2024.