Abstract
The work presented in this article is part of ongoing research on the automated assessment of simple web applications. The proposed algorithm compares two interfaces by mapping their elements, using properties to identify those with the same role in both interfaces. The algorithm proceeds in three stages: firstly, it selects the relevant elements from both interfaces; secondly, it refines elements' attributes, excluding some and computing new ones; finally, it matches elements based on attribute similitude. The article includes an experiment to validate the algorithm as an assessment tool. As part of this experiment, a set of experts classified multiple web interfaces. Statistical analysis found a significant correlation between classifications made by the algorithm and those made by experts. The article also discusses the exploitation of the algorithm's output to access both the layout and functionality of a web interface and produce feedback messages in an automated assessment environment, which is planned as future research.

Abstract
In this article, we present solutions to visualize and interact with linked data in historical archives considering three different scenarios: search, individual record view, and creation of relationships. The created solutions were designed using nonfunctional mockups and were based on the CIDOC-CRM model, a model created and applied in the museums community liable to be extended to other cultural heritage institutions, being our solutions an application of this model to archives. A sample of 20 archival professionals was selected to evaluate the elements included in the proposed solutions. The evaluation sessions consisted in structured interviews supported by an introductory video and a survey. The think-aloud protocol was applied during the sessions. We conducted both a quantitative and qualitative analysis to the collected answers. From this analysis, we conclude that the majority of the participants showed great receptivity to the solutions presented and recognized many benefits in the application of linked data. Our contributions also include an exploratory study of some existing linked data systems, giving particular attention to their visualization and interaction modes.

Abstract
This paper proposes the first mutation-based technique for the repair of Alloy 6 first-order temporal logic specifications. This technique was developed with the educational context in mind, in particular, to repair submissions for specification challenges, as allowed, for example, in the Alloy4Fun web-platform. Given an oracle and an incorrect submission, the proposed technique searches for syntactic mutations that lead to a correct specification, using previous counterexamples to quickly prune the search space, thus enabling timely feedback to students. Evaluation shows that, not only is the technique feasible for repairing temporal logic specifications, but also outperforms existing techniques for non-temporal Alloy specifications in the context of educational challenges.

Abstract

Abstract
User experience can be affected by the amount and intensity of information presented. Four scenarios were developed to assess the insertion of information elements (chronometer and hint system) and tested with 37 users to find out if they affected the user's sense of presence and symptoms of cybersickness. In order to instruct users and using virtual reality using the Unity 3D game engine, we created a virtual world where the user has the role of exploring the environment and looking for mushrooms, and can consult a description about it. For tests with users, the IPQp and SSQ questionnaires were applied. The results indicate that it is possible to create a virtual world with the addition of informational components without significantly disturbing the user experience.

Abstract
Computer science education has always been a challenging topic for both sides of the trench: educators and learners. Nowadays, with the pandemic state that we are facing, these challenges are even greater, leading educators to look for strategies that promote effective virtual learning. One of such strategies includes the use of game mechanics to improve student engagement and motivation. This design strategy is typically called gamification. Nowadays, gamification is being seen as the solution to solve most of the issues related to demotivation, complexity, or tedious tasks. In the latest years, we saw thousands of educational applications being created with gamification in mind. Nevertheless, this has been an unsustainable growth with ad hoc designs and implementations of educational gamified applications, hampering interoperability and the reuse of good practices. This chapter presents a systematic study on gamification standardization aiming to characterize the status of the field, namely describing existing frameworks, languages, services, and platforms.