Author profile: Durán Toro, Amador
Institutional data
Name | Durán Toro, Amador |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Profesor Titular de Universidad |
Request | |
Statistics
-
No. publications
70
-
No. visits
12469
-
No. downloads
18946
Publications |
---|
Article
Exploring Gender Bias In Remote Pair Programming Among Software Engineering Students: The twincode Original Study And First External Replication
(Springer, 2024)
Context Women have historically been underrepresented in Software Engineering, due in part to the stereotyped assumption ... |
Article
Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal
(ELSEVIER SCIENCE INC, 2024)
Context: The Open Science (OS) movement promotes the value of making public the research artifacts (datasets, analysis ... |
Article |
Article
An empirical study to evaluate the impact of mindfulness on helpdesk employees
(ScienceDirect, 2023)
Purpose: Mindfulness is a meditation technique whose main goal involves maintaining a calm mind and training attention by ... |
Article
A model-based approach for specifying changes in replications of empirical studies in computer Science
(SPRINGER; SPRINGER WIEN, 2023)
The need of replicating empirical studies in Computer Science is widely recognized among the research community. It is ... |
Article
FIDES: A Proposal for Federated Accountability in the Compute Continuum
(IEEE COMPUTER SOC, 2023)
In this visionary article, we present the concept of federated accountability, an innovative approach that distributes ... |
PhD Thesis
Una propuesta para elaborar paquetes de laboratorio orientados al proceso acorde a las insignias de la ACM en Ingeniería del Software
(2022)
En la actualidad, la comunidad de Ingeniería del Software Empírica (ISE) ha considerado relevante la realización de familias ... |
Article
Effects of Mindfulness on Conceptual Modeling Performance: a Series of Experiments
(IEEE Computer Society, 2022)
Context. Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing ... |
Presentation
Automated Generation of Metamorphic Relations for Query-Based Systems
(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
A Family of Experiments to Evaluate the Effects of Mindfulness on Software Engineering Students: The MetaMind Dataset
(Auerbach Publications, 2021)
Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ... |
Article
Gender Bias in Remote Pair Programming among Software Engineering Students: The twincode Exploratory Study
(Cornell University, 2021)
Context. Pair programming has been found to increase student interest in Computer Science, particularly so for women, and ... |
Presentation
Empirical strategies in software engineering research: a literature survey
(IEEE Computer Society, 2021)
Context: The Software Engineering (SE) research continues to gain strength and interest for researchers considering the ... |
PhD Thesis
Una propuesta para reportar replicaciones de experimentos en Ingeniería del Software
(2020)
En esta memoria, se presenta el trabajo de investigación llevado a cabo para aumentar el beneficio que se obtiene mediante ... |
Presentation
Metamorphic Relation Patterns for Query-Based Systems
(IEEE Computer Society, 2019)
Searching and displaying data based on user queries is a key feature of most software applications such as information ... |
Article
Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018
(IEEE Computer Society, 2019)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ... |
Article
Performance Metamorphic Testing: A Proof of Concept
(Elsevier, 2018)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ... |
Article
An Experimental Replication on the Effect of the Practice of Mindfulness in Conceptual Modeling Performance
(Elsevier, 2018)
Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ... |
Presentation
Una Propuesta para Especificar Cambios de Replicaciones de Experimentos en Ingeniería del Software
(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
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ... |
Presentation
Performance Metamorphic Testing: Motivation and Challenges
(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
Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01
(2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ... |
Article
VISUAL PPINOT: A Graphical Notation for Process Performance Indicators
(Springer, 2017)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ... |
Presentation
Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
|
Article
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Article
Automated metamorphic testing of variability analysis tools
(Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the ... |
Presentation
Modelling Service Level Agreements for Business Process Outsourcing Services
(2015)
Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ... |
Article
Using Templates and Linguistic Patterns to Define Process Performance Indicators
(Taylor & Francis, 2014)
Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ... |
Presentation
Una revisión de la notación PPINOT para indicadores de rendimiento mediante su aplicación a un caso real
(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
A Controlled Experiment to Evaluate the Effects of Mindfulness in Software Engineering
(ACM, 2014)
Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ... |
Report
Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
(2013)
Variability determines the ability of software applications to be configured and customized. A common need during the ... |
Presentation
Defining Process Performance Indicators By Using Templates and Patterns
(2012)
Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ... |
Report
FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Presentation
Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales
(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
Un Entorno ALM Flexible y Dirigido por Procesos: El Proyecto Alcuza
(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
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
(2010)
The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ... |
Article
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Presentation
¿Por qué OMG ha elegido BPMN para modelar de Procesos de Negocio si ya existe UML?
(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
On the automated analysis of software product lines using feature models: a framework for developing automated tool support
(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
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
Chapter of Book
Metrics for use cases: a survey of current proposals
(Imperial College Press, 2005)
|
Article
An Approach to Temporal-Aware Procurement of Web Services
(Springer Verlag, 2005)
In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ... |
Presentation
A Controlled Experiment for Evaluating a Metric–Based Reading Technique for Requirements Inspection
(IEEE Computer Society, 2004)
Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ... |
Article |
PhD Thesis |
Presentation
Empirically Driven Use Case Metamodel Evolution
(Springer, 2004)
Metamodel evolution is rarely driven by empirical evidences of metamodel drawbacks. In this paper, the evolution of the ... |
Presentation
Applying System Families Concepts to Requirements Engineering Process Definition
(Springer, 2003)
In this paper, some experiences gained during the definition of a unified, common software development process for several ... |
Article
Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Presentation
Elaboración de documentos de requisitos en asignaturas de Ingeniería del Software
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2003)
|
Article
A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
Presentation
Una Revisión Empírica de Heurísticas de Verificación de Casos de Uso basadas en Métricas
(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
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Presentation
Supporting Requirements Verification Using XSLT
(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
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Article
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)
|
Presentation |
Presentation
Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements
(2002)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ... |
Presentation
Requirements Processes: An Experience Report
(2001)
Processes are certainly a key element in software management. Defining and using processes is believed to be an important ... |
Presentation
Automated Support for Quality Requirements in Web–Service–Based Systems
(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
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
(2001)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Presentation
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ... |
Presentation
An Automated Approach for Verification of Software Requirements
(2001)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ... |
PhD Thesis
Un entorno metodológico de ingeniería de requisitos para sistemas de información
(2000)
En esta tesis se describe un entorno metodológico para la ingeniería de requisitos de sistemas de información, compuesto ... |
Presentation |
Presentation
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(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
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999)
|
Presentation
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
(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
A Requirements Elicitation Approach Based in Templates and Patterns
(1999)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ... |
Presentation
Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ... |
Presentation
Object Oriented Specification based on Restrictions: Participation and Interaction
(WSES-Press Editions, 1999)
We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of ... |