- idUS
- Listar por autor
Listar por autor "Ruiz Cortés, Antonio"
Mostrando ítems 41-60 de 337
-
Artículo
An Experimental Replication on the Effect of the Practice of Mindfulness in Conceptual Modeling Performance
Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Elsevier, 2018)Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ...
-
Artículo
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming
García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio; Martín Díaz, Octavio; Resinas Arias de Reyna, Manuel (Springer Verlag, 2007)Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical ...
-
Ponencia
An Initial Approach to Explaining SLA Inconsistencies
Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2008)An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
-
Ponencia
An Initial Approach to Explaining SLA Inconsistencies
Müller Cejás, Carlos; Ruiz Cortés, Antonio; Resinas Arias de Reyna, Manuel (2009)An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ...
-
Informe
An Intuitive and Formal Description of Preferences for Semantic Web Service Discovery and Ranking (Technical Report ISA-12-TR-07)
García Rodríguez, José María; Ruiz Cortés, David; Ruiz Cortés, Antonio (2012)Preference modeling constitutes an essential component for the execution of Semantic Web Service (SWS) discovery and, ...
-
Artículo
An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
Capilla Sevilla, Rafael; Bosch, Jan; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Hinchey, Michael G. (Elsevier, 2014)Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ...
-
Ponencia
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
-
Trabajo Fin de Máster
Análisis automático de obligaciones y derechos en acuerdos de cliente
Molino Peña, María Elena (2023)Los acuerdos de clientes están formados por un conjunto de documentos legales que recogen los términos y condiciones ...
-
Ponencia
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software
Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2002) -
Ponencia
Apoyo a la Toma de Decisiones en la Compra de IaaS
Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)La dificultad para decidir la compra de un IaaS (Infrastructure as a Service) depende de la complejidad de las opciones ...
-
Ponencia
Applying XML technologies in Requirements Verification
Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002)In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
-
Ponencia
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) -
Ponencia
Una Aproximación a la Gestión Automática de Alternativas de Diseño
Martín Díaz, Octavio; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (CEUR-WS, 2001)La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son ...
-
Tesis Doctoral
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
Ruiz Cortés, Antonio (2002-09-23)De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ...
-
Artículo
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; García Rodríguez, José María; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...
-
Ponencia
Artifact: virtual environment for evaluating the QoS of distributed mobile applications
Laso, Sergio; Berrocal, Javier; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Murillo, Juan M. (IEEE Computer Society, 2021) -
Artículo
Aspect-oriented interaction in multi-organisational web-based systems
Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Ruiz Cortés, Antonio (Elsevier, 2003)Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ...
-
Ponencia
Automated Analysis of Cloud Offerings for Optimal Service Provisioning
García Rodríguez, José María; Martín Díaz, Octavio; Fernández Montes, Pablo; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017)Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ...
-
Artículo
Automated Analysis of Conflicts in WS-Agreement Documents
Müller Cejás, Carlos; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (IEEE, 2013)WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement ...
-
Ponencia
Automated Analysis of Diverse Variability Models with Tool Support
Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ...