NombreDurán Toro, Amador
DepartamentoLenguajes y Sistemas Informáticos
Área de conocimientoLenguajes y Sistemas Informáticos
Categoría profesionalProfesor Titular de Universidad
Correo electrónicoSolicitar
           
  • Nº publicaciones

    66

  • Nº visitas

    10636

  • Nº descargas

    17133


 

Artículo
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)
Artículo
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 ...
Tesis Doctoral
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 ...
Artículo
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 ...
Ponencia
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 ...
Capítulo de Libro
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 ...
Artículo
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 ...
Ponencia
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 ...
Tesis Doctoral
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 ...
Ponencia
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 ...
Artículo
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 ...
Artículo
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 ...
Artículo
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Informe
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 ...
Artículo
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 ...
Ponencia
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)
Artículo
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 ...
Ponencia
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 ...
Artículo
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 ...
Artículo
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 ...
Ponencia
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 ...
Ponencia
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 ...
Informe
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 ...
Ponencia
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 ...
Informe
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 ...
Ponencia
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 ...
Ponencia
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 ...
Informe
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 ...
Artículo
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)
Ponencia
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 ...
Tesis Doctoral
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 ...
Artículo
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)
Capítulo de Libro
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)
Artículo
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 ...
Ponencia
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 ...
Artículo
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)
Tesis Doctoral
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)
Ponencia
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 ...
Ponencia
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 ...
Artículo
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 ...
Ponencia
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)
Artículo
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Artículo
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 ...
Artículo
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)
Ponencia
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)
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Tesis Doctoral
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 ...
Ponencia
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)
Ponencia
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, ...
Informe
Ponencia
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)
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...