GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation
Andrei Nikolaevitch Tchernykh, Reyes Juárez Ramírez, Teresa Guarda, Filipe Portela · Programming and Computer Software · 2022
Due to continuing advances in computing and communication technology innovation has become one of the most important fields.It drives transformations in human life, engineering, business, entertainment, education, etc.The special issue addresses these challenging trends.It overviews the latest advances and opportunities in interdisciplinary areas of advanced computing, software engineering, multi-objective resource optimization, etc.It features nineteen papers selected from thirty-nine submitted by authors from eight countries.The paper "Formal Verification of Blockchain-Based Tender Systems" addresses that tenders are developed using centralized unverified systems, which reduce transparency, fairness, and trust in the process, and the ability to detect malicious attempts to manipulate the process.This paper proposes using a combination of Satisfiability Module Theories (SMT) and Blockchain to deal with this problem.The authors argued that SMT provides a formal analysis to prove the correctness of tender and offers properties ensuring system reliability, while Blockchain claims to provide decentralization and a chain of distributed and decentralized records linked so that integrity is ensured.This combination allows a formal, verified and decentralized system to make electronic procurement tenders more reliable, transparent, and fair.The paper "Automatic code generation of usercentered serious games: A decade in review" presents a review covering a decade of information from January 2012 to June 2022.It is divided into two parts: one study about serious games with model-driven engineering and another study about user-centered serious games.The main objective is to know the literature that helps to mitigate the costs and time of software development of serious games.The overall conclusion is that there is still work to be done to combine serious user-centered games and automatic generation.The paper "Building Adaptable Dashboards for Smart Cities: Design and Evaluation" focuses on the idea that dashboards aim to provide users with information to support decision-making.It is essential to adapt the visualization of the information provided to their needs and preferences.To address this necessity, the authors performed a literature review.Based on