- idUS
- Listar por autor
Listar por autor "Ruiz Cortés, Antonio"
Mostrando ítems 21-40 de 337
-
Artículo
A Survey on Metamorphic Testing
Segura Rueda, Sergio; Fraser, Gordon; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (2016-02-29)A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...
-
Ponencia
A Survey on the Automated Analyses of Feture Models
Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006)Feature models are one of the most important assets in software product line engineering when capturing variability. ...
-
Ponencia
A Taxonomy of Variability in Web Service Flows
Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007)The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
-
Artículo
A template-based approach for responsibility management in executable business processes
Cabanillas Macías, Cristina; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (Taylor and Francis, 2018)Process-oriented organisations need to manage the different types of responsibilities their employees may have w.r.t. the ...
-
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
-
Informe
A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
Müller Cejás, Carlos; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012)The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...
-
Artículo
A top down approach for describing the acquaintance organisation of multiagent systems
Peña Siles, Joaquín; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael (2007) -
Ponencia
A WS-Agreement Extension for Specifying Temporal Properties in SLAS
Müller Cejás, Carlos; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2007)Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ...
-
Ponencia
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2009)In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to ...
-
Ponencia
Achieving Replicability: Is There Life for Our Experiments After Publication?
Parejo Maestre, José Antonio; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2013)Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...
-
Ponencia
!Agree Studio: a Platform to Edit and Validate Ws-Agreement Documents
Müller Cejás, Carlos; Gutiérrez, Antonio M.; Resinas Arias de Reyna, Manuel; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2013)The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ...
-
Ponencia
An Analysis of RESTful APIs Offerings in the Industry
Gámez Díaz, Antonio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Springer, 2017-11)As distribution models of information systems are moving to XaaS paradigms, microservices architectures are rapidly emerging, ...
-
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Universidad de la Laguna, 2017)Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...
-
Artículo
An Approach to Temporal-Aware Procurement of Web Services
Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Müller Cejás, Carlos (Springer Verlag, 2005)In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ...
-
Ponencia
An Architectural Discussion on DSPL
Carlos Cetina, Carlos; Pelechano, Vicent; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2008)Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ...
-
Ponencia
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Durán Toro, Amador; Toro Bonilla, Miguel (Institut national de recherche en sciences et technologies du numérique (INRIA), 2000)Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
-
Ponencia
An Automated Approach for Verification of Software Requirements
Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
-
Ponencia
An Elasticity Framework for Smart Contracts
Dustdar, Schahram; García Rodríguez, José María; Fernández Montes, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2021)Smart contracts provide computation facilities to blockchains, enabling many application scenarios where au tomatic ...
-
Ponencia
An Elasticity-aware Governance Platform for Cloud Service Delivery
Müller Cejás, Carlos; Truong, Hong-Linh; Fernández Montes, Pablo; Copil, Georgiana; Ruiz Cortés, Antonio; Dustdar, Schahram (IEEE Computer Society, 2016)In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to ...
-
Artículo
An empirical study to evaluate the impact of mindfulness on helpdesk employees
Bernárdez Jiménez, Beatriz; Panach Navarrete, José Ignacio; Parejo Maestre, José Antonio; Durán Toro, Amador; Juristo, Natalia; Ruiz Cortés, Antonio (ScienceDirect, 2023)Purpose: Mindfulness is a meditation technique whose main goal involves maintaining a calm mind and training attention by ...