Buscar
Mostrando ítems 1-10 de 24
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 ...
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 ...
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) ...
Bokazio zientifikoak sustatzeko laborategiaUn laboratorio para fomentar vocaciones científicas
(ETB - Elhuyar, 2020)
Zientzia eta teknologia alorreko ogibideetan berrikuntza eta ideia berriak izatea ezinbestekoa da. Azken urteetan, alor honetako lanbideen eskaera nabarmen handitu da. Era berean ordea, gazteentzat, batik bat, emakumeentzat, ...
Runtime observable and adaptable UML state machine-based software components generation and verification: models@run.time approach
(Mondragon Unibertsitatea. Goi Eskola PoliteknikoaMondragon Unibertsitatea. Goi Eskola Politeknikoa, 2019)
Cyber-Physical Systems (CPSs) are embedded computing systems in which computation interacts closely with the physical world through sensors and actuators. CPSs are used to control context aware systems. These types of ...
Surface roughness assessment on hole drilled through the identification and clustering of relevant external and internal signal statistical features
(Elsevier, 2022)
Drilling is a continuous cutting process where two or more cutting edges remove the material, to obtain the desired feature. During the chip evacuation, it generally rubs against the generated surface. Thus, the roughness ...
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
(IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
A methodology for model-based verification of safety contracts and performance requirements
(SAGE, 2018)
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ...
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 ...
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 ...