Abstract
Platforms to support novices learning to program are often accompanied by automated next-step hints that guide them towards correct solutions. Many of those approaches are data-driven, building on historical data to generate higher quality hints. Formal specifications are increasingly relevant in software engineering activities, but very little support exists to help novices while learning. Alloy is a formal specification language often used in courses on formal software development methods, and a platform-Alloy4Fun-has been proposed to support autonomous learning. While non-data-driven specification repair techniques have been proposed for Alloy that could be leveraged to generate next-step hints, no data-driven hint generation approach has been proposed so far. This paper presents the first data-driven hint generation technique for Alloy and its implementation as an extension to Alloy4Fun, being based on the data collected by that platform. This historical data is processed into graphs that capture past students' progress while solving specification challenges. Hint generation can be customized with policies that take into consideration diverse factors, such as the popularity of paths in those graphs successfully traversed by previous students. Our evaluation shows that the performance of this new technique is competitive with non-data-driven repair techniques. To assess the quality of the hints, and help select the most appropriate hint generation policy, we conducted a survey with experienced Alloy instructors.

Abstract
The need for more flexible and robust models to reason about systems in the presence of conflicting information is becoming more and more relevant in different contexts. This has prompted the introduction of paraconsistent transition systems, where transitions are characterized by two pairs of weights: one representing the evidence that the transition effectively occurs and the other its absence. Such a pair of weights can express scenarios of vagueness and inconsistency. . This paper establishes a foundation for a compositional and structured specification approach of paraconsistent transition systems, framed as paraconsistent institution. . The proposed methodology follows the stepwise implementation process outlined by Sannella and Tarlecki.

Abstract
Directed Energy Deposition (DED) is a free-form metal additive manufacturing process characterized as toolless, flexible, and energy-efficient compared to traditional processes. However, it is a complex system with a highly dynamic nature that presents challenges for modeling and optimization due to its multiphysics and multiscale characteristics. Additionally, multiple factors such as different machine setups and materials require extensive testing through single-track depositions, which can be time and resource-intensive. Single-track experiments are the foundation for establishing optimal initial parameters and comprehensively characterizing bead geometry, ensuring the accuracy and efficiency of computer-aided design and process quality validation. We digitized a DED setup using the Robot Operating System (ROS 2) and employed a thermal camera for real-time monitoring and evaluation to streamline the experimentation process. With the laser power and velocity as inputs, we optimized the dimensions and stability of the melt pool and evaluated different objective functions and approaches using a Response Surface Model (RSM). The three-objective approach achieved better rewards in all iterations and, when implemented in areal setup, allowed to reduce the number of experiments and shorten setup time. Our approach can minimize waste, increase the quality and reliability of DED, and enhance and simplify human-process interaction by leveraging the collaboration between human knowledge and model predictions.

Abstract
This paper contributes to developing a Method for Creating Persona Templates (MCPT), addressing a significant gap in user-centred design methodologies. Utilising qualitative data collection and analysis techniques, MCPT offers a systematic approach to developing robust and context-oriented persona templates. MCPT was created by applying the Design Science Research (DSR) methodology, and it incorporates multiple iterations for template refinement and validation among project stakeholders; all of the proposed steps of this method were based on theoretical contributions. Furthermore, MCPT was tested and refined within a real-life R&D project focusing on developing a digital platform e-marketplace for short agrifood supply chains in two iteration cycles. MCPT fills a critical void in persona research by providing detailed instructions for each step of template development. By involving the target audience, users, and project stakeholders, MCPT adds rigour to the persona creation process, enhancing the quality and relevance of personae casts. This paper contributes to the body of knowledge by offering an initial proposal of a comprehensive method for creating persona templates within diverse projects and contexts. Further research should explore MCPT’s adaptability to different settings and projects, thus refining its effectiveness and extending its utility in user-centred design practices. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Abstract
Scientific research in digital transformation is expanding in scope, quantity, and relevance, bringing forth diverse perspectives on which factors and specific dimensions-such as organizational structure, culture, and technological readiness-affect the success of digital transformation initiatives. Numerous studies have proposed mechanisms to assess an organization's maturity through digital transformation across various models. Some of these models focus on external influences, others on internal factors, or both. Although these assessments provide valuable insights into a company's transformation state, they often lack consistency, and recent research highlights key gaps. Specifically, many models primarily reflect the views of senior management on the general progress of digital transformation rather than on measurable outcomes. Moreover, these models tend to target large enterprises, overlooking small and medium enterprises (SMEs), which are crucial to economic growth yet face unique challenges, such as limited resources and expertise. Our study addresses these gaps by concentrating on SMEs and introducing a novel approach to assessing digital transformation readiness-a metric that reflects how prepared an organization is to optimize transformation outcomes. Following design science research methodology, we develop a model that centers on the perspectives of general employees, offering companies an in-depth view of their readiness across 20 dimensions. Each dimension is evaluated through behaviors indicative of the highest level of digital transformation readiness, helping companies identify areas to maximize potential benefits. Our model focuses not on technological quality but on the degree to which behaviors essential for leveraging technology and innovative business models are integrated within the organization.

Abstract
Spectral Imaging techniques such as Laser-induced Breakdown Spectroscopy (LIBS) and Raman Spectroscopy (RS) enable the localized acquisition of spectral data, providing insights into the presence, quantity, and spatial distribution of chemical elements or molecules within a sample. This significantly expands the accessible information compared to conventional imaging approaches such as machine vision. However, despite its potential, spectral imaging also faces specific challenges depending on the limitations of the spectroscopy technique used, such as signal saturation, matrix interferences, fluorescence, or background emission. To address these challenges, this work explores the potential of using techniques from conventional RGB imaging to enhance the dynamic range of spectral imaging. Drawing inspiration from multi-exposure fusion techniques, we propose an algorithm that calculates a global weight map using exposure and contrast metrics. This map is then used to merge datasets acquired with the same technique under distinct acquisition conditions. With case studies focused on LIBS and Raman Imaging, we demonstrate the potential of our approach to enhance the quality of spectral data, mitigating the impact of the aforementioned limitations. Results show a consistent improvement in overall contrast and peak signal-to-noise ratios of the merged images compared to single-condition images. Additionally, from the application perspective, we also discuss the impact of our approach on sample classification problems. The results indicate that LIBS-based classification of Li-bearing minerals (with Raman serving as the ground truth), is significantly improved when using merged images, reinforcing the advantages of the proposed solution for practical applications.