Listar por autor "Vallecillo-Moreno, Antonio Jesús"
Mostrando ítems 1-20 de 49
-
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 ... -
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; Gerard, Sebastien; 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 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. ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero Moreno, Gala; Burgueño-Caballero, Lola; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (2018-05-31)
Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ... -
Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML
(2020-01-16)En la actualidad, está surgiendo la necesidad de modelar sistemas que traten con factores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemas software conectados a sensores que no dan una ...