Amador Durán Toro

Cathy Pamela Guevara-Vega

Antonio Ruiz-Cortés

Computing, June, 2023

A model-based approach for specifying changes in replications of empirical studies in computer Science.

[BibT_eX]

[DOI]

Margarita Cruz

Cathy Pamela Guevara-Vega

Antonio Ruiz-Cortés

Computing, June, 2023

FIDES: A Proposal for Federated Accountability in the Compute Continuum.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2023

Pricing4APIs: A Rigorous Model for RESTful API Pricings.

[BibT_eX]

[DOI]

CoRR, 2023

Twincode: An Instrumented Platform for Pair Programming Research.

[BibT_eX]

[DOI]

Pablo Fernández Montes

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Automated Generation of Metamorphic Relations for Query-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

Semi-automated Capacity Analysis of Limitation-Aware Microservices Architectures.

[BibT_eX]

[DOI]

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

2021

Gender Bias in Remote Pair Programming among Software Engineering Students: The twincode Exploratory Study.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

Visual ppinot: A Graphical Notation for Process Performance Indicators.

[BibT_eX]

[DOI]

Bus. Inf. Syst. Eng., 2019

Metamorphic relation patterns for query-based systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018

An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Performance Metamorphic Testing: Motivation and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

A Template-Based Approach to Describing Metamorphic Relations.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

Using templates and linguistic patterns to define process performance indicators.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2016

2015

Automated metamorphic testing of variability analysis tools.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

Modelling Service Level Agreements for Business Process Outsourcing Services.

[BibT_eX]

[DOI]

Adela del-Río-Ortega

Antonio Manuel Gutiérrez

Manuel Resinas

Manuel Resinas Arias de Reyna

Proceedings of the Advanced Information Systems Engineering, 2015

2014

A controlled experiment to evaluate the effects of mindfulness in software engineering.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

2012

Defining Process Performance Indicators by Using Templates and Patterns.

[BibT_eX]

[DOI]

Adela del-Río-Ortega

Proceedings of the Business Process Management - 10th International Conference, 2012

2008

Automated error analysis for the agilization of feature modeling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

2005

Improving the Automatic Procurement of Web Services Using Constraint Programming.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

An Approach to Temporal-Aware Procurement of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

2004

Empirical Evaluation and Review of a Metrics-Based Approach for Use Case Verification.

[BibT_eX]

[DOI]

Marcela Genero

J. Res. Pract. Inf. Technol., 2004

Empirically Driven Use Case Metamodel Evolution.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

A Controlled Experiment for Evaluating a Metric-Based Reading Technique for Requirements Inspection.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Software Metrics Symposium (METRICS 2004), 2004

2003

A Quality-Aware Approach to Web Services Procurement.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Applying System Families Concepts to Requirements Engineering Process Definition.

[BibT_eX]

[DOI]

David Benavides

Jesús Bermejo Muñoz

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Automating the Procurement of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

2002

Verifying software requirements with XSLT.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2002

Tabbed Hierarchy: A Design Pattern for the Implementation of Object-Oriented User Interfaces.

[BibT_eX]

[DOI]

Computación y Sistemas, 2002

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER02, 2002

Supporting Requirements Verification Using XSLT.

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Assisting the Requirements Verifier with XML Technology.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements.

[BibT_eX]

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

An Automated Approach to Quality-Aware Web Applications.

[BibT_eX]

Rafael Corchuelo

Julio César Sampaio do Prado Leite

Proceedings of the ICEIS 2002, 2002

2001

Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER01, 2001

Requirements Processes: An Experience Report.

[BibT_eX]

[DOI]

Emilio Insfrán Pelozo

Proceedings of the Anais do WER01, 2001

An XMLBased Approach for the Automatic Verification of Software Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER01, 2001

Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios WEB.

[BibT_eX]

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Automated Support for Quality Requirements in Web-Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

2000

Identificación de Patrones de Reutilización de Requisitos de Sistemas de Información.

[BibT_eX]

[DOI]

Proceedings of the Anais do WER00, 2000

Propuestas de Reutilización de Requisitos.

[BibT_eX]

Francisco José García-Peñalvo

Miguel A. Laguna

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

A Requirements Elicitation Approach Based in Templates and Patterns.

[BibT_eX]

[DOI]

Beatriz Bernárdez Jiménez

M. Toro Bonilla

Proceedings of the Anais do WER99, 1999

Elicitatión de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos.

[BibT_eX]

Beatriz Bernárdez Jiménez

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Semántica formal de asociaciones y agregados para su implementación con reglas activas.

[BibT_eX]

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

1997

Especificaión formal y prototipado de un gestor básico de bases de datos relacionales.

[BibT_eX]

Proceedings of the II Jornadas de Investigación y Docencia en Bases de Datos, 1997

1996

Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z.

[BibT_eX]