- idUS
- Listar por autor
Listar por autor "Durán Toro, Amador"
Mostrando ítems 41-60 de 66
-
Ponencia
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 ...
-
Informe
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 ...
-
Informe
Metodología para la Elicitación de Requisitos de Sistemas Software, versión 2.1, Informe Técnico LSI–2000–10
Durán Toro, Amador; Bernárdez Jiménez, Beatriz (2000) -
Capítulo de Libro
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) -
Ponencia
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 ...
-
Ponencia
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 ...
-
Tesis Doctoral
On the automated analysis of software product lines using feature models: a framework for developing automated tool support
Benavides Cuevas, David Felipe (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
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 ...
-
Ponencia
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 ...
-
Ponencia
¿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). ...
-
Ponencia
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) -
Tesis Doctoral
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 (2022-12-21)En la actualidad, la comunidad de Ingeniería del Software Empírica (ISE) ha considerado relevante la realización de familias ...
-
Ponencia
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 ...
-
Tesis Doctoral
Una propuesta para reportar replicaciones de experimentos en Ingeniería del Software
Cruz Risco, Margarita (2020-07-20)En esta memoria, se presenta el trabajo de investigación llevado a cabo para aumentar el beneficio que se obtiene mediante ...
-
Artículo
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 ...
-
Ponencia
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
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
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
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-11) -
Ponencia
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 ...