Abstract
This paper reports on the development of a formal model for the Hybrid ERTMS/ETCS Level 3 concept in Electrum, a lightweight formal specification language that extends Alloy with mutable relations and temporal logic operators. We show how Electrum and its Analyzer can be used to perform scenario exploration to validate this model, namely to check that all the operational scenarios described in the reference document are admissible, and to reason about expected safety properties, which can be easily specified and model checked for arbitrary track configurations. We also show how the Analyzer can be used to depict scenarios (and counter-examples) in a graphical notation that is logic-agnostic, making them understandable by stakeholders without expertise in formal specification. © 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

Abstract
Tailoring of the user experience to each individuals needs and preferences can lead to more accessible solutions. Adaptation has a key role on matching the systems characteristics with the user needs. This can be achieved with personalization (system-driven adaptation) or customization (user-driven adaptation). Personalization have good results on matching the user needs but raises concerns about privacy and how the information is retrieved. Customizations require that the user manually choose the preferences configuration. This article proposed two versions of a web wizard to elicit the accessibility preferences. One version was based on a quiz and the other one presented small interactive activities. The activities version was proposed to help reduce the burden of configuration by implicitly eliciting the user preferences through interactive small activities. The preliminary results with healthy participants suggest that both versions obtained a positive evaluation. However, there was no major difference between each wizard. The causes of these findings are discussed.

Abstract
The goal of the Semantic Web is to allow the software agents around us and AIs to extract information from the Internet as easily as humans do. This semantic web is a network of connected graphs, where relations between concepts and entities make up a layout that is very easy for machines to navigate. At the moment, there are only a few tools that enable humans to navigate this new layer of the Internet, and those that exist are for the most part very specialized tools that require from the user a lot of pre-existing knowledge about the technologies behind this structure. In this article we report on the development of DAOLOT, a search engine that allows users with no previous knowledge of the semantic web to take full advantage of its information network. This paper presents its design, the algorithm behind it and the results of the validation testing conducted with users. The results of our validation testing show that DAOLOT is useful and intuitive to users, even those without any previous knowledge of the field, and provides curated information from multiple sources instantly about any topic.

Abstract
We present FGPE AuthorKit, a tool to author programming exercises featuring gamification elements that provide additional motivation for the students to intensify their learning effort. The tool allows the (1) creation of exercises and their associated metadata, (2) selection and parameterization of adequate gamification techniques for a specific exercise or their collection, (3) design of the content structure and sequencing rules, and (4) importing and exporting the content in the formats of choice. © 2020 ACM.

Abstract
Currently deployed in a wide variety of applicational scenarios, wireless sensor networks (WSNs) are typically a resource-constrained infrastructure. Consequently, characteristics such as WSN adaptability, low-overhead, and low-energy consumption are particularly relevant in dynamic and autonomous sensing environments where the measuring requirements change and human intervention is not viable. To tackle this issue, this article proposes e-LiteSense as an adaptive, energy-aware sensing solution for WSNs, capable of auto-regulate how data are sensed, adjusting it to each applicational scenario. The proposed adaptive scheme is able to maintain the sensing accuracy of the physical phenomena, while reducing the overall process overhead. In this way, the adaptive algorithm relies on low-complexity rules to establish the sensing frequency weighting the recent drifts of the physical parameter and the levels of remaining energy in the sensor. Using datasets from WSN operational scenarios, we prove e-LiteSense effectiveness in self-regulating data sensing accurately through a low-overhead process where the WSN energy levels are preserved. This constitutes a step-forward for implementing self-adaptive energy-aware data sensing in dynamic WSN environments.

Abstract
We have employed BPMN diagrams to expose the foreseen teaching and learning activities of participants in an e-learning course under planning. This provided clarification of the teaching and learning actions, revealing to the educational planning team aspects which were not explicit in the lecturer's plan, such as: The level of effort for the teacher as well as for the student; specific moments when there is a need to provide feedback and motivation. We believe that this exercise constitutes a rich and helpful contribution in planning and visualization efficient for other teaching teams of computer programming courses. 2012 ACM Subject Classification Social and professional topics ! Software engineering education.