Perfil del autor: Durán Toro, Amador
Datos institucionales
Nombre | Durán Toro, Amador |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Profesor Titular de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
70
-
Nº visitas
12469
-
Nº descargas
18946
Publicaciones |
---|
Artículo
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 ... |
Artículo
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 ... |
Artículo |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Tesis Doctoral
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Capítulo de Libro
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Artículo
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 ... |
Ponencia
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)
|
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Ponencia
¿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 ... |
Tesis Doctoral
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 ... |
Artículo
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
Capítulo de Libro
Metrics for use cases: a survey of current proposals
(Imperial College Press, 2005)
|
Artículo
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 ... |
Ponencia
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 ... |
Artículo |
Tesis Doctoral |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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)
|
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Ponencia
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 ... |
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Artículo
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)
|
Ponencia |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Ponencia |
Ponencia
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, ... |
Informe |
Ponencia
Semántica formal de asociaciones y agregados para su implementación con reglas activas
(Universidad de Extremadura: Grupo de Paralelismo, 1999)
|
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |