Bilatu
27-tik 21-27 emaitza erakusten
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)
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 ...
Implementation of a holistic digital twin solution for design prototyping and virtual commissioning
(IET, 2022)
Industry 4.0 has ushered in a new era of digital manufacturing and in this context, digital twins are considered as the next wave of simulation technologies. The development and commissioning of Cyber Physical Systems (CPS) ...
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak
(UEU, 2019)
In current industrial environments, the software of embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component’s ...
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 ...
An experience in the implementation of the flipped classroom instructional model in the computer science degree
(Wiley, 2023)
In recent years, education has undergone a profound transformation process, having gone from relying only on the traditional lecture to making full use of digital formats. This gradual process, accelerated by the COVID-19 ...
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
(IEEE, 2023)
Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ...
A visual programming tool for mobile web augmentation
(Springer, 2024)
The use of mobile devices for web browsing has increased extraordinarily in recent years, becoming the main source of information. Unfortunately, developers cannot meet the needs of all users. As a result, users have been ...