Zerrendatu Ikerketa-Kongresuak honen arabera: ikerketa taldea "Ingeniería del software y sistemas"
53-tik 1-20 emaitza erakusten
-
ABLA: an algorithm for repairing structure-based locators through attribute annotations
(Springer Nature, 2020)The growth of the web has been unstoppable in the last decade, which leads to an increasing demand for extracting information from it. Apart from the need to extract information, this growth also has brought the necessity ... -
Advantages of Arrowhead Framework for the Machine Tooling Industry
(IEEE, 2020)Immersed in the digital era and fully experiencing the changes introduced by the new industrial revolution of the so-called Industry 4.0, there are still many aspects of industrial digitization to resolve. Interoperability ... -
Architecture for managing AAS-based business processes
(Elsevier, 2023)Industries frequently encounter the need to orchestrate services provided by devices as business processes. These industrial business process models need to meet Industry 4.0 (I4.0) specifications to handle unpredictable ... -
Automating Test Oracle Generation in DevOps for Industrial Elevators
(IEEE, 2022)Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ... -
Collective experience of application of an inverted classroom in the computer science degree program
(SEFI, 2021)In the last years, higher education is immersed in the transformation of the teaching experience with the aim of involving students more, as well as motivating them. Nowadays, students are very familiarized with new ... -
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
(IEEE, 2017)As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ... -
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
(IEEE, 2020)Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ... -
Data Sovereignty for AI Pipelines: Lessons Learned from an Industrial Project at Mondragon Corporation
(ACM, 2022)The establishment of collaborative AI pipelines, in which multiple organizations share their data and models, is often complicated by lengthy data governance processes and legal clarifications. Data sovereignty solutions, ... -
Data-driven energy resource planning for Smart Cities
(IEEE, 2020)Cities are growing and, therefore, the primary needs, such as the energy resources. Hence, managing them in the proper way becomes essential for a sustainable growth. This paper proposes a data-driven tool based on IoT ... -
Data-driven Workflow Management by utilising BPMN and CPN in IIoT Systems with the Arrowhead Framework
(IEEE, 2019)Workflow management is realised in manufacturing at the Enterprise- and Production (workstation) levels. The characteristics of business processes in these levels differ enough to prevent the adoption of ... -
A digital twin framework for the simulation and optimization of production systems
(Elsevier B.V., 2021)Industry 4.0 has raised the expectations on productivity, automation, and resource efficiency of manufacturing systems. This paper proposes a digital twin framework for the simulation and optimization of production lines ... -
The district energy-efficient retrofitting of Torrelago (Laguna de Duero - Spain)
(IOP Publishing, 2019)The urban growth is estimated to reach up the 66 % by 2050 and consequently the need of resources within the cities will increase significantly. This, combined with the 40 % of energy consumption and 36 % of CO2 emissions ... -
E-Learning Experience with Flipped Classroom Quizzes Using Kahoot, Moodle and Google Forms: A Comparative Study
(ACM, 2023)In recent years, the use of technology is gaining weight in higher education. Today’s students are digital natives and e-Learning is common for them. Furthermore, they find traditional teaching methods tedious. In order ... -
Enhancing Flexibility in Industry 4.0 Workflows: A Context-Aware Component for Dynamic Service Orchestration
(Elsevier, 2024)Manufacturing processes of the future will rely on standards for asset interoperability and service orchestration. The Asset Administration Shell (AAS) facilitates information exchange among Industry 4.0 assets, while ... -
Evolutionary generation of metamorphic relations for cyber-physical systems
(ACM, 2022)A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ... -
Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain
(SCITEPRESS, 2015)The use of Model Driven Development (MDD) is increasing in industry. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and also transformations are affected. Tasks ... -
Experiencia colectiva de aplicación de la clase invertida en el grado de informática
(2021)As information consumption habits change, higher education is facing the challenge of transforming the teaching experience in order to maximize student involvement and motivation. This transformation, based on multimedia ... -
Exploring the transformation of user interactions to Adaptive Human-Machine Interfaces
(ACM, 2023)Human-machine interfaces (HMI) facilitate communication between humans and machines, and their importance has increased in modern technology. However, traditional HMIs are often static and do not adapt to individual user ... -
A general approach to Software Product Line testing
(Sistedes: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2019)Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings ... -
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
(ACM, 2021)One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ...
