Listar por autor "Cámara-Moreno, Javier"
Mostrando ítems 1-9 de 9
-
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
Cámara-Moreno, Javier
; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
Cámara-Moreno, Javier (Springer, 2024)
In software-intensive systems, navigating the complexities that emerge from the interaction of design variability and stochastic operational uncertainties presents a daunting challenge. This paper delves into the dynamics ... -
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction.
Cámara-Moreno, Javier; Wohlrab, Rebekka; Garlan, David; Schmerl, Bradley (Elsevier, 2022-12-19)
In software design, guaranteeing the correctness of run-time system behavior while achieving an acceptable balance among multiple quality attributes remains a challenging problem. Moreover, providing guarantees about the ... -
Model integration and decision-making for self-adaptation in mobile robotics
Cámara-Moreno, Javier (2019-11-22)
Software Engineering today is increasingly faced with the challenge of creating systems that involve both software and physical systems -- or CPS -- from robotic systems, to autonomous vehicles, to increasingly sophisticated ... -
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
Cámara-Moreno, Javier; Troya-Castilla, Javier; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús (Springer, 2023)
Most experts agree that large language models (LLMs), such as those used by Copilot and ChatGPT, are expected to revo- lutionize the way in which software is developed. Many papers are currently devoted to analyzing the ... -
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 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 ...