Listar por autor "Vallecillo-Moreno, Antonio Jesús"
Mostrando ítems 1-20 de 55
-
2TRAIN – Análisis deportivo de la ciudad de Málaga
(2018-04-17)El avance del concepto que se entiende por web, sus aplicaciones y toda la capacidad informativa que ofrece crece a un ritmo exponencial. Este crecimiento centra su fundamento en aumentar el bienestar de sus usuarios y ... -
A Conceptual Architecture for Building Digital Twins.
Digital twins have recently emerged as an innovative paradigm for improving the performance of cyber-physical systems, software and processes. In essence, a digital twin is a virtual replica of the system whose operation ... -
A Linda-based Platform for the Parallel Execution of Out-place Model Transformations
Context: The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore computers are becoming commonplace. However, existing model ... -
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 ... -
Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
Muñoz Ariza, Paula; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús (Biblioteca Digital SISTEDES, 2022-08-30)
Un gemelo digital es una réplica virtual de un sistema a un cierto nivel de fidelidad, sincronizados a una determinada frecuencia. Los gemelos digitales suelen emplearse para replicar sistemas físicos cuyas simulaciones ... -
Análisis de Programas de Procesamiento de Eventos Complejos
(2018-11-28)El procesamiento de eventos complejos (CEP, por sus siglas en inglés: Complex Event Processing), está ganando aceptación en los entornos distribuidos de tiempo real, al proporcionar una forma rápida y eficiente de ... -
Analysis of the scientific production of the Spanish Software Engineering Community
Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions ... -
Analysis of the Scientific Production of the Spanish Software Engineering Community
Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions ... -
Árbol Genealógico de la Informática
(2018-11-29)La American Mathematical Society mantiene desde hace 21 años el proyecto, http://www.genealogy.ams.org/, que permite conocer el “árbol genealógico” de las matemáticas a nivel internacional, en la que muestra información ... -
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
Muñoz Ariza, Paula; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús; Gogolla, Martin (2019-09-20)
This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ... -
Belief Uncertainty in Software Models
Burgueño-Caballero, Lola; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús (2020-06-08)
This paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any other belief agent, is uncertain about the behavior of the ... -
Clasificación de delitos con incertidumbre
La clasificación de atestados policiales es un tema complejo en el que la incertidumbre juega un papel importante. Por ejemplo, en muchos informes faltan información o es inconsistente. También es posible que diferentes ... -
Concurrent Model Transformations with Linda
Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, ... -
Creación de pruebas automatizadas para modelos ejecutables de software
(2021-06)El Desarrollo Guiado por Comportamiento (conocido como BDD, por sus siglas en inglés, Behavior Driven Development) es una estrategia para desarrollar software usando la especificación del comportamiento y los resultados ... -
Dealing with Belief Uncertainty in Domain Models
Burgueño-Caballero, Lola; Muñoz, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (ACM, 2023)
There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness, or inconsistencies, ... -
Dealing with Belief Uncertainty in Domain Models.
Burgueño-Caballero, Lola; Muñoz Ariza, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness or inconsistencies; ... -
Diseño y desarrollo de un gemelo digital de un brazo robótico Arduino (TinkerKit Braccio)
(2022-06)Los gemelos digitales son representaciones virtuales de sistemas existentes en el mundo físico (sus gemelos físicos). Sin embargo, su complejidad inherente supone un gran desafío para desarrollarlos y verificar su ... -
Efficient execution of ATL model transformations using static analysis and parallelism
Sánchez Cuadrado, Jesús; Burgueño-Caballero, Lola; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2020)
Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. ... -
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús; Burgueño-Caballero, Lola; Hilken, Frank (2015-07-29)
This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. ...