Listar por autor "Troya-Castilla, Javier"
Mostrando ítems 21-32 de 32
-
On the Realization of TractsTool
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this ... -
Parallel In-place Model Transformations with LinTra
As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and ... -
Processing Structured Data Streams
(UMA Editorial, 2021)A large amount of data is daily generated from different sources such as social networks, recommendation systems or geolocation systems. Moreover, this information tends to grow exponentially every year. Companies have ... -
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach
Muñoz, Paula; Troya-Castilla, Javier
; Wimmer, Manuel; Kappel, Gerti (AITO, 2022-10-01)
The correctness of software built through model transformations highly depends on the correctness of these transformations. Different approaches have been proposed to ensure the correctness of model transformations by ... -
Towards an Extensible Architecture and Tool Support for Model-based Verification.
Delgado Camacho, David Eduardo; Burgueño-Caballero, Lola; Cámara-Moreno, Javier; Troya-Castilla, Javier (2023)
Model-based software engineering (MBSE) brings models to the center of software and system design. Models are powerful abstractions used to support all phases of the software development life cycle of complex software. As ... -
Towards Approximate Model Transformations
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having access ... -
Towards Self-Adaptive Software for Wildfire Monitoring with Unmanned Air Vehicles.
Wildfires have evolved significantly over the last decades, burning increasingly large forest areas every year. Smart cyber-physical systems like small Unmanned Air Vehicles (UAVs) can help to monitor, predict, and mitigate ... -
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework
Cámara-Moreno, Javier; Burgueño-Caballero, Lola; Troya-Castilla, Javier (Springer, 2024-09-03)
The integration of Large Language Models (LLMs) in software modeling tasks presents both opportunities and challenges. This Expert Voice addresses a significant gap in the evaluation of these models, advocating for the ... -
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum
Toro-Gálvez, Lorenzo; García-Luque, Rafael; Troya-Castilla, Javier; Canal-Velasco, José Carlos; Pimentel-Sánchez, Ernesto (2023-06)
Urban Digital Twins (UDTs) represent a powerful tool to effectively make cities smart. Over the last few years, the interest in the social aspects of smart cities is growing fast. For this reason, citizens must be considered ... -
Uncertainty representation in software models: a survey
Troya-Castilla, Javier; Moreno, Nathalie; Bertoa, Manuel F.; Vallecillo-Moreno, Antonio Jesús (Springer, 2021-01-08)
This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals ... -
UTypes: a library for uncertain datatypes in Python
Fernández-Candel, Carlos Javier; Muñoz, Paula; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús (Elsevier, 2024-03-05)
Existing Python uncertainty packages support the expression and propagation of uncertainty in numeric types, such as float or int. However, they do not cover the rest of the built-in types which can also be affected by ... -
Yekta: A low-code framework for automated test models generation
Karimi, Meysam; Kolahdouz-Rahimi, Shekoufeh; Troya-Castilla, Javier (Elsevier, 2024)
The methodology under the term model-based software engineering (MBSE) gained importance already around 20 years ago, after the publication of the Model-Driven Architecture (MDA) initiative by the Object Management Group ...