- RIUMA Principal
- Listar por autor
Listar por autor "Moreno-Delgado, Antonio"
Mostrando ítems 1-7 de 7
-
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 ... -
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio
We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ... -
On the Modular Specification of NFPs: A Case Study
Moreno-Delgado, Antonio; Troya-Castilla, Javier; Durán-Muñoz, Francisco Javier; Vallecillo-Moreno, Antonio Jesús (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ... -
Sistema web para la ejecución remota de Maude
Martín Cuenca, Francisco Javier (2018-03-22)El objetivo del presente trabajo de fin de grado consiste en la elaboración de un sistema web que permita al usuario utilizar el sistema Maude sin necesidad de instalar ningún software adicional. Esta necesidad surge a ... -
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Durán, Francisco; Moreno-Delgado, Antonio; Álvarez-Palomo, José María (Springer, 2016)Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires ... -
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture ... -
Towards the predictive analysis of cloud systems with e-Motions
De Oliveira, Patricia; Moreno-Delgado, Antonio; Durán, Francisco; Pimentel-Sánchez, Ernesto (2017-05-17)Current methods for the predictive analysis of software systems are not directly applicable on self-adaptive systems as cloud systems, mainly due to their complexity and dynamism. To tackle the difficulties to handle the ...