Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
Rüdiger Gad
Emilio José Rodríguez Posada
Manuel Palomo Duarte
Francisco Palomo Lozano
David José Corral Plaza
Mariano Marcos Bárcena
Sergio Segura
Mercedes Garcia Merayo
Nuria Hurtado Rodríguez
Ruth Schorr
Elena Orta Cuevas
Sneha Sahu
Leopoldo Jesús Gutiérrez Galeano
Kevin J. Valle Gómez
Robin Mueller Bady
José Francisco Magallanes Fernández
Elisa Guerrero Vázquez
Robert M. Hierons
Ana B. Sánchez
Pedro Delgado Pérez
Bernardo M. Núñez Moraleda
Noelia Sales Montes
Guadalupe Ortiz Bellot
Antonia Estero Botaro
Francisco J. Palomo
José Raúl Romero Salguero
Gerardo Aburruzaga García
Kevin Jesús Valle Gómez
A. Estero Botaro
José Luis Ruiz Reina
José Antonio Alonso de la Huerta
Antonio García Domínguez
Miguel Ángel Álvarez García
Joaquín Pizarro Junquera
Juan Boubeta Puig
Andrés Yáñez Escolano
Andrés Pastor Fernández
Mercedes Ruiz Carreira
Lorena Gutiérrez Madroñal
Juan José Domínguez Jiménez
Daniel Pérez Caro
Luigi La Blunda
Pablo Caballero Torres
María Teresa García Horcajadas
Carlos Rioja del Río
Aurora Ramírez Quesada
María del Carmen de Castro Cabrera
|
Pedro Delgado Pérez , Inmaculada Medina Bulo, Miguel Ángel Álvarez García
Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 5, 2020 (Ejemplar dedicado a: XXVI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2020) / coord. por José Manuel Badía Contelles , Francisco Grimaldo Moreno ), págs. 149-156
Guest Editorial: Special Section on ICTSS
Inmaculada Medina Bulo, Mercedes Garcia Merayo , Robert M. Hierons
Information and software technology, ISSN 0950-5849, Nº 118, 2020, págs. 1-1
Search-based mutant selection for efficient test suite improvement: Evaluation and results
Pedro Delgado Pérez , Inmaculada Medina Bulo
Information and software technology, ISSN 0950-5849, Nº 104, 2018, págs. 130-143
Performance mutation testing: Hypothesis and open questions
Ana B. Sánchez, Pedro Delgado Pérez , Sergio Segura, Inmaculada Medina Bulo
Information and software technology, ISSN 0950-5849, Nº 103, 2018, págs. 159-161
Biblioteca CAC++ para la corrección automática de prácticas de programación en C++
Pedro Delgado Pérez , Inmaculada Medina Bulo, Daniel Pérez Caro
Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 2, 2017 (Ejemplar dedicado a: Actas de las XXIII Jornadas sobre Enseñanza Universitaria de la Informática (Cáceres, 5, 6 y 7 de julio de 2017) / coord. por Alberto Gómez Mancha, Roberto Rodríguez Echeverría ), ISBN 978-84-697-4267-9
Corrigendum to ‘Assessment of class mutation operators for C++ with the MuCPP mutation system’: [Information and Software Technology, 81, (2017) 169–184]
Pedro Delgado Pérez , Inmaculada Medina Bulo, Francisco J. Palomo , Antonio García Domínguez , Juan José Domínguez Jiménez
Information and software technology, ISSN 0950-5849, Nº 87, 2017, pág. 103
Assessment of class mutation operators for C++++ with the MuCPP mutation system
Pedro Delgado Pérez , Inmaculada Medina Bulo, Francisco Palomo Lozano, Antonio García Domínguez , Juan José Domínguez Jiménez
Information and software technology, ISSN 0950-5849, Nº 81, 2017, págs. 169-184
Tecnologías wiki en la docencia de Ingeniería Informática
Manuel Palomo Duarte , Emilio José Rodríguez Posada, Inmaculada Medina Bulo, Noelia Sales Montes
ReVisión, ISSN-e 1989-1199, Vol. 5, Nº. 1, 2012 (Ejemplar dedicado a: Revista de Investigación en Docencia Universitaria de la Informática)
Wikis en docencia: una experiencia con WikiHaskell y StatMediaWiki
Manuel Palomo Duarte , Inmaculada Medina Bulo, Emilio José Rodríguez Posada, Francisco Palomo Lozano
RUSC. Universities and Knowledge Society Journal, ISSN-e 1698-580X, Vol. 9, Nº. 1, 2012, págs. 65-85
Juan José Domínguez Jiménez , A. Estero Botaro, Antonio García Domínguez , Inmaculada Medina Bulo
Information and software technology, ISSN 0950-5849, Vol. 53, Nº 10, 2011, págs. 1108-1123
Juan Boubeta Puig , Inmaculada Medina Bulo, Antonio García Domínguez
REICIS: Revista Española de Innovación, Calidad e Ingeniería del Software, ISSN-e 1885-4486, Vol. 7, Nº. 1 (Abril), 2011, págs. 23-46
Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0
Manuel Palomo Duarte , Antonio García Domínguez , Francisco Palomo Lozano, Inmaculada Medina Bulo
Formación Universitaria, ISSN-e 0718-5006, Vol. 3, Nº. 4, 2010, págs. 25-40
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Inmaculada Medina Bulo, Francisco Palomo Lozano, José Luis Ruiz Reina
Journal of symbolic computation, ISSN 0747-7171, Vol. 45, Nº 1, 2010, págs. 96-123
Hacia la integración de técnicas de pruebas en metodologías dirigidas por modelos para SOA
Antonio García Domínguez , Inmaculada Medina Bulo, Mariano Marcos Bárcena
Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 204, 2010 (Ejemplar dedicado a: Tendencias en tecnologías de la información), págs. 62-68
Detección de ciberataques mediante el uso de un modelo de procesamiento de lenguaje natural
Leopoldo Jesús Gutiérrez Galeano, Juan José Domínguez Jiménez , Inmaculada Medina Bulo
Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 / coord. por Yolanda Blanco Fernández , Manuel Fernández Veiga , Ana Fernández Vilas , José María de Fuentes García-Romero de Tejada , 2023, ISBN 978-84-8158-970-2, págs. 77-84
Técnicas avanzadas para la mejora de la prueba del software
Kevin Jesús Valle Gómez, Pedro Delgado Pérez , Inmaculada Medina Bulo
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021) / coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo, 2021, ISBN 978-84-89867-47-5, págs. 6-10
Towards Automated verification of Model-Driven Development Artifacts in Real-Time Systems
Sneha Sahu, Ruth Schorr, Inmaculada Medina Bulo
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021) / coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo, 2021, ISBN 978-84-89867-47-5, págs. 11-15
Aplicación del Procesamiento de Eventos Complejos al Cuidado de las Personas Dependientes
Pablo Caballero Torres, Guadalupe Ortiz Bellot , Inmaculada Medina Bulo
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021) / coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo, 2021, ISBN 978-84-89867-47-5, págs. 40-44
Miguel Ángel Álvarez García, Inmaculada Medina Bulo, Pedro Delgado Pérez
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021) / coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo, 2021, ISBN 978-84-89867-47-5, págs. 90-94
Mejora de la legibilidad en la generación de casos de prueba mediante búsqueda interactiva
Pedro Delgado Pérez , Aurora Ramírez Quesada , Kevin J. Valle Gómez, Inmaculada Medina Bulo, José Raúl Romero Salguero
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021
Combining Evolutionary Mutation Testing with Random Selection
Lorena Gutiérrez Madroñal , Antonio García Domínguez , Inmaculada Medina Bulo
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021
Ejecución Simbólica y Prueba de Mutaciones: mejora de la generación automática de casos de prueba
Kevin Jesús Valle Gómez, Pedro Delgado Pérez , Inmaculada Medina Bulo, Antonio García Domínguez
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021
La prueba del software como parte esencial en la industria 4.0
Kevin Jesús Valle Gómez, Pedro Delgado Pérez , Inmaculada Medina Bulo, José Francisco Magallanes Fernández
Diseño, energía y digitalización en proyectos de I D+i / Andrés Pastor Fernández (ed. lit.) , 2020, ISBN 978-84-9828-843-8, págs. 162-197
Prácticas co-evaluables y autoevaluables para la etapa de prueba de software
Inmaculada Medina Bulo, Pedro Delgado Pérez , Antonia Estero Botaro, María del Carmen de Castro Cabrera, Juan José Domínguez Jiménez
Book of abstracts CIVINEDU 2018: 2nd International Virtual Conference on Educational Research and Innovation 24 - 25 October, 2018, 2018, ISBN 978-94-92805-07-2, pág. 34
Análisis automático del código en prácticas de programación en orientación a objetos
Pedro Delgado Pérez , Inmaculada Medina Bulo
Propuesta de Innovación Educativa en la Sociedad de la Información / coord. por Santiago Pérez Aldeguer, Guadalupe Castellano Pérez, Alfredo Pina Calafi , 2017, ISBN 978-94-92805-00-3, págs. 61-71
Experiencia en la corrección automática de prácticas de programación en orientación a objetos
Pedro Delgado Pérez , Inmaculada Medina Bulo
Edunovatic 2016. I Congreso Virtual internacional de Educación, Innovación y TIC: del 14 al 16 de diciembre de 2016. Libro de actas, 2016, ISBN 978-84-617-7628-3, págs. 40-47
Automatización de la Corrección de Prácticas de Programación a través del Compilador Clang
Pedro Delgado Pérez , Inmaculada Medina Bulo
Actas del simposio-taller sobre estrategias y herramientas para el aprendizaje y la evaluación: JENUI 2015 : Andorra La Vella, 7 de julio de 2015 / coord. por Xavier Canaleta , August Climent i Ferrer , Lluís Vicent Safont , 2015, ISBN 978-99920-70-09-3
María del Carmen de Castro Cabrera, Inmaculada Medina Bulo, Juan José Domínguez Jiménez
XIX Congreso Universitario de Innovación Educativa en las enseñanzas Técnicas: libro de Resúmenes / coord. por Anna Bacardit Dalmases, Xavier Cañavate Avila, Marcos Faúndez Zanuy , Josep López Santín , Esteban Peña Pitarch , Enric Trullols Farreny , 2011, ISBN 978-84-694-4528-0, pág. 41
Juan José Domínguez Jiménez , Inmaculada Medina Bulo, Andrés Pastor Fernández
XIX Congreso Universitario de Innovación Educativa en las enseñanzas Técnicas: libro de Resúmenes / coord. por Anna Bacardit Dalmases, Xavier Cañavate Avila, Marcos Faúndez Zanuy , Josep López Santín , Esteban Peña Pitarch , Enric Trullols Farreny , 2011, ISBN 978-84-694-4528-0, pág. 94
Wikis en docencia: una experiencia con WikiHaskell y StatMediaWiki
Manuel Palomo Duarte , Inmaculada Medina Bulo, Emilio José Rodríguez Posada, Francisco Palomo Lozano
Recursos digitales para la educación y la cultura: volumen SPDECE / coord. por Manuel Prieto , Juan Manuel Dodero Beardo , David Villegas Sáenz, 2010, ISBN 978-607-95446-2-1, págs. 127-134
Antonio García Domínguez , Manuel Palomo Duarte , Inmaculada Medina Bulo
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 / coord. por José Manuel López Cobo, Antonio Vallecillo Moreno , Antonio Ruiz Cortés , 2008, ISBN 978-84-691-6710-6, págs. 91-96
Adaptación de las asignaturas de las titulaciones de Informática al EEES
José Antonio Alonso de la Huerta, María del Carmen de Castro Cabrera, Juan José Domínguez Jiménez , María Teresa García Horcajadas, Elisa Guerrero Vázquez , Nuria Hurtado Rodríguez, Inmaculada Medina Bulo, Bernardo M. Núñez Moraleda, Elena Orta Cuevas , Manuel Palomo Duarte , Francisco Palomo Lozano, Joaquín Pizarro Junquera , Carlos Rioja del Río, Mercedes Ruiz Carreira , Andrés Yáñez Escolano
Actividades de los Grupos de Formación del Profesorado de la Universidad de Cádiz 2005-2006, 2007, ISBN 978-84-9828-112-5, págs. 179-190
Una propuesta para una primera asignatura de Algoritmia
Francisco Palomo Lozano, Inmaculada Medina Bulo
X Jornadas de Enseñanza Universitaria de la Informática: JENUI 2004. Alicante, del 14 al 16 de julio de 2004, 2004, ISBN 84-9732-334-3, págs. 393-400
Análisis híbrido: una propuesta práctica
Francisco Palomo Lozano, Inmaculada Medina Bulo
IX Jornadas de Enseñanza Universitaria de la Informática: Cádiz, del 9 al 11 de julio de 2003 / coord. por Universidad de Cádiz Departamento de Lenguajes y Sistemas Informáticos; Jornadas de Enseñanza Universitaria de la Informática 9 2003 C (col.), 2003, ISBN 8428328455, págs. 489-496
Cálculo paralelo de caminos de mínima probabilidad de error empleando potencia de matrices
Inmaculada Medina Bulo, Francisco Palomo Lozano
Innovaciones en informática electrónica y automática / coord. por Diego Gómez Vela , Esther Gadeschi Díaz , 1998, ISBN 84-89867-11-9, págs. 297-304
Clausura transitiva en semi anillos cerrados. Problemas relacionados
Inmaculada Medina Bulo, Francisco Palomo Lozano
Innovaciones en informática electrónica y automática / coord. por Diego Gómez Vela , Esther Gadeschi Díaz , 1998, ISBN 84-89867-11-9, págs. 305-312
Francisco Palomo Lozano, Inmaculada Medina Bulo, Gerardo Aburruzaga García
Universidad de Cádiz, Servicio de Publicaciones, 2006 (2 ed.) . ISBN 978-84-9828-007-4
Gerardo Aburruzaga García, Francisco Palomo Lozano, Inmaculada Medina Bulo
Cádiz : Servicio de Publicaciones, Universidad de Cádiz, 2001. ISBN 84-7786-734-8
Gerardo Aburruzaga García, Francisco Palomo Lozano, Inmaculada Medina Bulo
Cádiz : Universidad de Cádiz, Servicio de Publicaciones, 1998. ISBN 84-7786-533-7
Por fin, C ISO: un curso de C estándar
Gerardo Aburruzaga García, Francisco Palomo Lozano, Inmaculada Medina Bulo
Cádiz : Universidad de Cádiz, Servicio de Publicaciones, 1998. ISBN 84-7786-545-0
Verificación formal en ACL2 del Algoritmo de Buchberger
Inmaculada Medina Bulo
Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.) , José Luis Ruiz Reina (dir. tes.) . Universidad de Sevilla (2003).
Técnicas de prueba avanzadas para la generación de casos de prueba
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Pedro Delgado Pérez (codir. tes.) . Universidad de Cádiz (2023).
Luigi La Blunda
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Matthias Wagner (codir. tes.) . Universidad de Cádiz (2022).
Procesamiento de datos heterogéneos en el internet de las cosas
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Guadalupe Ortiz Bellot (codir. tes.) . Universidad de Cádiz (2021).
Robin Mueller Bady
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Kappes Martin (codir. tes.) . Universidad de Cádiz (2019).
Prueba de mutación evolutiva en entornos orientados a objetos
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) . Universidad de Cádiz (2017).
Generación automática de casos en procesamiento de eventos con EPL
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) , Lorena Gutiérrez Madroñal (tut. tes.) . Universidad de Cádiz (2017).
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Martin Kappes (codir. tes.) . Universidad de Cádiz (2015).
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Guadalupe Ortiz Bellot (codir. tes.) . Universidad de Cádiz (2014).
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) . Universidad de Cádiz (2013).
Tesis doctoral dirigida por Mariano Marcos Bárcena (dir. tes.) , Inmaculada Medina Bulo (codir. tes.). Universidad de Cádiz (2013).
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.). Universidad de Cádiz (2011).
Búsquedas genéticas: métodos de optimización global y optimización combinatoria
Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.). Universidad de Cádiz (2009).
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021)
coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo
Universidad de Cádiz, 2021. ISBN 978-84-89867-47-5
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados