Abstract
Urban retrofitting has emerged as a key strategy in the transition towards sustainable cities, with Positive Energy Districts (PEDs) serving as a model for achieving energy-positive urban environments. This paper explores the potential for urban retrofitting to achieve a positive energy balance through a case study of four existing districts in European Municipalities: Settimo Torinese (Italy), Großschönau (Austria), Amsterdam (Netherlands), and Resita (Romania). The analysis leverages energy balance simulations, considering various retrofitting scenarios, including building insulation, photovoltaic (PV) installations, and the adoption of flexible grid usage. The findings indicate that while achieving a PED is challenging, it is attainable through a combination of aggressive retrofitting measures, renewable energy integration, and smart energy management. The study highlights the importance of context-specific strategies, as climatic and urban characteristics significantly influence the outcomes. It aims to add to the ongoing discourse on sustainable urban development by providing empirical insights into the pathways and challenges of achieving PEDs through urban retrofitting. © 2024 IEEE.

Abstract
Some of the fundamental activities of the software development process relate to the discipline of Requirements Engineering. Their objectives are to discover, analyze, document, verify and manage the requirements that will be part of the software. The requirements are the system's characteristics, which are identified based on information provided by users or experts in the field. The effective management of this information is essential to ensure that the system meets the needs of those who will use it. Considering that the requirements are information, we carried out research to propose a framework contemplating a set of tools used by the information management to assist the requirements management process's activities. This article aims to present the FIRMa - Framework based on Information Management to Requirements Management, and the results of an evaluation carried out by a group of eighteen specialists in Requirements Engineering, who gave their opinion about the tools contemplated by the framework, as well as defined steps and the guidelines elaborated for its use. The evaluation results showed that FIRMa could contribute to the requirements management process's activities and increase the project's chances of success.

Abstract
This article presents the development of a vision system designed to enhance the autonomous navigation capabilities of robots in complex forest environments. Leveraging RGBD and thermic cameras, specifically the Intel RealSense 435i and FLIR ADK, the system integrates diverse visual sensors with advanced image processing algorithms. This integration enables robots to make real-time decisions, recognize obstacles, and dynamically adjust their trajectories during operation. The article focuses on the architectural aspects of the system, emphasizing the role of sensors and the formulation of algorithms crucial for ensuring safety during robot navigation in challenging forest terrains. Additionally, the article discusses the training of two datasets specifically tailored to forest environments, aiming to evaluate their impact on autonomous navigation. Tests conducted in real forest conditions affirm the effectiveness of the developed vision system. The results underscore the system's pivotal contribution to the autonomous navigation of robots in forest environments.

Abstract
This paper provides an overview on recent work on Team Automata, whereby a network of automata interacts by synchronising actions from multiple senders and receivers. We further revisit this notion of synchronisation in other well known concurrency models, such as Reo, BIP, Choreography Automata, and Multiparty Session Types. We address realisability of Team Automata, i.e., how to infer a network of interacting automata from a global specification, taking into account that this realisation should satisfy exactly the same properties as the global specification. In this analysis we propose a set of interesting directions of challenges and future work in the context of Team Automata or similar concurrency models.

Abstract
Collaborative robots (cobots) are emerging in manufacturing as a response to the current mass customization production paradigm and the fifth industrial revolution. Before adopting this technology in production processes and benefiting from its advantages, manufacturers need to analyze the investment. Therefore, this study aims to develop a decision -making framework for cobot adoption, incorporating a comprehensive set of quantitative and qualitative criteria, to be used by decision -makers in manufacturing companies. To achieve that objective, a qualitative study was conducted by collecting data through interviews with key actors in the cobot (or advanced manufacturing technologies) adoption decision process in manufacturing companies. The main findings of this study include, firstly, an extensive list of decision criteria, as well as some indicators to be used by decisionmakers, some of which are new to the literature. Secondly, a decision -making framework for cobot adoption is proposed, as well as a set of guidelines to use it. The framework is based on a weighted scoring method and can be customizable by the manufacturing company depending on its specific context, needs, and resources. The main contribution of this study consists in assisting decision -makers of manufacturing companies in performing more complete and sustained decision analyses regarding cobots adoption.

Abstract
Logging has long been a pillar for monitoring and troubleshooting software systems. From server and infrastructure to application-specific data, logs are an easy and quick way to collect information that may prove useful in diagnosing future issues. When systems become distributed, as is common on the cloud, logs are harder to collect and process. This paper presents three design patterns for logging in cloud-native applications. Standard Logging advises using a standard format for logs across all services and teams so they are easier to process by humans and machines. Audit Logging suggests that important user actions and system changes are recorded in a data store to ensure regulatory compliance or help investigate user-reported issues. Lastly, Log Sampling is about prioritizing logs to maintain a manageable amount of storage. These patterns were mined from existing literature on logging and cloud best practices to make them simpler to communicate, more detailed, and easier for all practitioners to understand.