NameDurán Toro, Amador
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
           
  • No. publications

    66

  • No. visits

    11129

  • No. downloads

    17857


 

Article
Icon

Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Guevara Vega, Cathy; Ruiz Cortés, Antonio (Springer, 2023)
Article
Icon

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 ...
PhD Thesis
Icon

Una propuesta para elaborar paquetes de laboratorio orientados al proceso acorde a las insignias de la ACM en Ingeniería del Software

Guevara Vega, Cathy; Bernárdez Jiménez, Beatriz; Durán Toro, Amador (2022)
En la actualidad, la comunidad de Ingeniería del Software Empírica (ISE) ha considerado relevante la realización de familias ...
Article
IconIcon

Effects of Mindfulness on Conceptual Modeling Performance: a Series of Experiments

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Juristo, Natalia; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)
Context. Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing ...
Presentation
Icon

Automated Generation of Metamorphic Relations for Query-Based Systems

Segura Rueda, Sergio; Alonso, Juan C.; Martín López, Alberto; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...
Chapter of Book
Icon

A Family of Experiments to Evaluate the Effects of Mindfulness on Software Engineering Students: The MetaMind Dataset

Bernárdez Jiménez, Beatriz; Cruz Risco, Margarita; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio; Gupta, Varun; Gupta, Chetna (Auerbach Publications, 2021)
Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ...
Article
Icon

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

Durán Toro, Amador; Fernández Montes, Pablo; Bernárdez Jiménez, Beatriz; Weinman, Nathaniel; Akahn, Ash; Fox, Armando (Cornell University, 2021)
Context. Pair programming has been found to increase student interest in Computer Science, particularly so for women, and ...
Presentation
Icon

Empirical strategies in software engineering research: a literature survey

Guevara Vega, Cathy; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Quiña Mera, Antonio; Cruz Risco, Margarita; Ruiz Cortés, Antonio (IEEE Computer Society, 2021)
Context: The Software Engineering (SE) research continues to gain strength and interest for researchers considering the ...
PhD Thesis
Icon

Una propuesta para reportar replicaciones de experimentos en Ingeniería del Software

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Durán Toro, Amador (2020)
En esta memoria, se presenta el trabajo de investigación llevado a cabo para aumentar el beneficio que se obtiene mediante ...
Presentation
Icon

Metamorphic Relation Patterns for Query-Based Systems

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2019)
Searching and displaying data based on user queries is a key feature of most software applications such as information ...
Article
Icon

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

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Galindo Duarte, José Ángel; Ruiz Cortés, Antonio (IEEE Computer Society, 2019)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ...
Article
Icon

Performance Metamorphic Testing: A Proof of Concept

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (Elsevier, 2018)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...
Article
Icon

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 ...
Presentation
Icon

Una Propuesta para Especificar Cambios de Replicaciones de Experimentos en Ingeniería del Software

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Durán Toro, Amador (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2018)
Contexto: La replicación de estudios empíricos en Ingeniería del Software es necesaria para consolidar el conocimiento ...
Presentation
Icon

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 ...
Presentation
Icon

Performance Metamorphic Testing: Motivation and Challenges

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (ACM Digital Library, 2017)
Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...
Report
Icon

Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...
Article
Icon

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Springer, 2017)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ...
Presentation
Icon

Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Article
Icon

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
Presentation
Icon

Modelling Service Level Agreements for Business Process Outsourcing Services

Río Ortega, Adela del; Gutiérrez, Antonio Manuel; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio (2015)
Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ...
Article
Icon

Automated metamorphic testing of variability analysis tools

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the ...
Article
Icon

Using Templates and Linguistic Patterns to Define Process Performance Indicators

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (Taylor & Francis, 2014)
Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ...
Presentation
Icon

Una revisión de la notación PPINOT para indicadores de rendimiento mediante su aplicación a un caso real

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Río Ortega, Adela del; Durán Toro, Amador (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Cada vez son más numerosas las organizaciones orientadas a procesos que, para conseguir sus objetivos, necesitan modelar ...
Presentation
Icon

A Controlled Experiment to Evaluate the Effects of Mindfulness in Software Engineering

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2014)
Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ...
Report
Icon

Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (2013)
Variability determines the ability of software applications to be configured and customized. A common need during the ...
Presentation
Icon

Defining Process Performance Indicators By Using Templates and Patterns

Río Ortega, Adela del; Resinas Arias de Reyna, Manuel; Durán Toro, Amador; Ruiz Cortés, Antonio (2012)
Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ...
Report
Icon

FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2012)
Software product lines are rapidly gaining importance across different application domains. This software production ...
Presentation
Icon

Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales

Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Resinas Arias de Reyna, Manuel; Durán Toro, Amador (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2012)
Cada día crece el número de aplicaciones y servicios basados en la nube ofertados por proveedores tales como Amazon, Google ...
Presentation
Icon

Un Entorno ALM Flexible y Dirigido por Procesos: El Proyecto Alcuza

Durán Toro, Amador; Panduro, Bernardo; Bernárdez Jiménez, Beatriz; Pérez Jiménez, Juan D. (Servizo de publicacións da Universidade da Coruña, 2011)
Recientemente, el concepto de ALM (Application Lifecycle Management) ha surgido como una evolución de los desarrollos ...
Report
Icon

Experiences from building a WS–Agreement document analyzer tool (Including use cases in WS–Agreement and WSAg4People) v1.0 : Technical Report ISA-10-TR-03

Müller Cejás, Carlos; Durán Toro, Amador; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio; Martín Díaz, Octavio (2010)
The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ...
Article
Icon

Automated Error Analysis for the Agilization of Feature Modeling

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008)
Presentation
Icon

¿Por qué OMG ha elegido BPMN para modelar de Procesos de Negocio si ya existe UML?

Pérez Jiménez, Juan Diego; Durán Toro, Amador; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En ...
PhD Thesis
IconIcon

On the automated analysis of software product lines using feature models: a framework for developing automated tool support

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Durán Toro, Amador (2007)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ...
Article
Icon

Improving the Automatic Procurement of Web Services Using Constraint Programming

Ruiz Cortés, Antonio; Martín Díaz, Octavio; Durán Toro, Amador; Toro Bonilla, Miguel (World Scientific Publishing, 2005)
Chapter of Book
Icon

Metrics for use cases: a survey of current proposals

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Genero Bocco, Marcela (Imperial College Press, 2005)
Article
Icon

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 ...
Presentation
Icon

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

Bernárdez Jiménez, Beatriz; Genero Bocco, Marcela; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2004)
Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...
Article
Icon

Empirical evaluation and review of a metrics-based approach for use case verification

Genero Bocco, Marcela; Durán Toro, Amador; Bernárdez Jiménez, Beatriz (2004)
PhD Thesis
Icon

Una aproximación empírica al desarrollo de heurísticas basadas en métricas para verificación de requisitos

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Genero Bocco, Marcela (2004)
Presentation
Icon

Empirically Driven Use Case Metamodel Evolution

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Genero Bocco, Marcela; Piattini Velthuis, Mario (Springer, 2004)
Metamodel evolution is rarely driven by empirical evidences of metamodel drawbacks. In this paper, the evolution of the ...
Presentation
Icon

Applying System Families Concepts to Requirements Engineering Process Definition

Durán Toro, Amador; Benavides Cuevas, David Felipe; Bermejo, Jesús (Springer, 2003)
In this paper, some experiences gained during the definition of a unified, common software development process for several ...
Article
Icon

Automating the Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe; Toro Bonilla, Miguel (Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Presentation
Icon

Elaboración de documentos de requisitos en asignaturas de Ingeniería del Software

García Peñalvo, Francisco J.; Moreno García, María N.; Durán Toro, Amador (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2003)
Article
Icon

A Quality-Aware Approach to Web Services Procurement

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Presentation
Icon

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

Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Toro Bonilla, Miguel (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2003)
En este artículo se presenta una revisión de varias de las heurísticas de verificación de requisitos basadas en métricas ...
Presentation
Icon

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 ...
Presentation
Icon

Supporting Requirements Verification Using XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (IEEE Computer Society, 2002)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ...
Article
Icon

Verifying Software Requirements with XSLT

Durán Toro, Amador; Ruiz Cortés, Antonio; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ...
Article
Icon

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

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (Centro de Investigación en Computación, 2002)
Presentation
Icon

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

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (2002)
Presentation
Icon

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

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ...
Presentation
Icon

Requirements Processes: An Experience Report

Sampaio do Prado Leite, Julio Cesar; Fiorini, Soeli T.; Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Sánchez Díaz, Juan; Insfrán Pelozo, Emilio (2001)
Processes are certainly a key element in software management. Defining and using processes is believed to be an important ...
Presentation
Icon

Automated Support for Quality Requirements in Web–Service–Based Systems

Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2001)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ...
Presentation
Icon

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 ...
Presentation
Icon

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

Ruiz Cortés, Antonio; Durán Toro, Amador; Corchuelo Gil, Rafael; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel (2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ...
Presentation
Icon

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 ...
PhD Thesis
Icon

Un entorno metodológico de ingeniería de requisitos para sistemas de información

Durán Toro, Amador; Toro Bonilla, Miguel (2000)
En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ...
Presentation
Icon

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

Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2000)
Presentation
Icon

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, ...
Report
Presentation
Icon

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

Martín Díaz, Octavio; Torres Valderrama, Jesús; Durán Toro, Amador; Pérez Castellanos, José Antonio; Toro Bonilla, Miguel (Universidad de Extremadura: Grupo de Paralelismo, 1999)
Presentation
Icon

Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Ruiz Cortés, Antonio (Universidad de Extremadura: Grupo de Paralelismo, 1999)
Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los ...
Presentation
Icon

A Requirements Elicitation Approach Based in Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (1999)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...
Presentation
Icon

Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns

Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Ruiz Cortés, Antonio; Pérez Castellanos, José Antonio (WSEAS, 1999)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ...
Presentation
Icon

Object Oriented Specification based on Restrictions: Participation and Interaction

Torres Valderrama, Jesús; Troyano Jiménez, José Antonio; Toro Bonilla, Miguel; Corchuelo Gil, Rafael; Durán Toro, Amador (WSES-Press Editions, 1999)
We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ...