Inmaculada Medina Bulo

• Artículos de revistas (14)
• Colaboraciones en obras colectivas (28)
• Libros (4)
• Tesis (1)
• Tesis dirigidas (14)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Diseño y desarrollo de prácticas coevaluables y autoevaluables para la etapa de prueba del desarrollo de software

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    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

    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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)

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    Evolutionary mutation testing

    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

    • Texto completo
    
  • Seleccionado

    Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes

    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

    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    

• Colaboraciones en obras colectivas

  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    InterEvo-TR: Interactive Evolutionary Test Generation with Readability Assessment

    Pedro Delgado Pérez , Aurora Ramírez Quesada , Kevin Jesús Valle Gómez, Inmaculada Medina Bulo, José Raúl Romero Salguero

    Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023) / coord. por Amador Durán Toro , 2023

    • Resumen
    
  • Seleccionado

    Mutation testing in the wild: findings from GitHub

    Ana Belén Sánchez Jerez, Pedro Delgado Pérez , Inmaculada Medina Bulo, Sergio Segura

    Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023) / coord. por Amador Durán Toro , 2023

    • Resumen
    
  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    Aplicación de técnicas de aprendizaje automático para la minimización del coste computacionalde la prueba de mutaciones

    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

    • Texto Completo Libro
    
  • Seleccionado

    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 , Mª Carmen Penadés ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    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 , Mª Carmen Penadés ; Silvia Mara Abrahao Gonzales (col.) , 2021

    
  • Seleccionado

    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 , Mª Carmen Penadés ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    • Texto Completo Libro
    
  • Seleccionado

    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

    • Resumen
    • Texto Completo Libro
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    Diseño de un lenguaje específico de dominio para la corrección automatizada de prácticas de programación

    Pedro Delgado Pérez , Inmaculada Medina Bulo

    Investigar con y para la sociedad, Vol. 2, 2015 (Volumen 2), ISBN 978-84-686-6905-2, págs. 1161-1168

    • Resumen
    • Texto Completo Volumen
    
  • Seleccionado

    Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL

    Emma Blanco Muños, Antonio García Domínguez , Juan José Domínguez Jiménez , Inmaculada Medina Bulo

    Actas de las Jornadas de Ingeniería del Software y Bases de Datos (JISBD´11), 2011, ISBN 978-84-9749-486-1, págs. 537-542

    • Resumen
    • Texto completo
    
  • Seleccionado

    Evaluación de la calidad de los mutantes en la prueba de mutaciones

    Antonia Estero Botaro, Juan José Domínguez Jiménez , Lorena Gutiérrez Madroñal , Inmaculada Medina Bulo

    Actas de las Jornadas de Ingeniería del Software y Bases de Datos (JISBD´11), 2011, ISBN 978-84-9749-486-1, págs. 571-584

    • Resumen
    • Texto completo
    
  • Seleccionado

    Inferencia Automática de Requisitos Locales de Rendimiento en Flujos de Trabajo Anotados con MARTE

    Antonio García Domínguez , Inmaculada Medina Bulo

    Actas de las Jornadas de Ingeniería del Software y Bases de Datos (JISBD´11), 2011, ISBN 978-84-9749-486-1, págs. 585-598

    • Resumen
    • Texto completo
    
  • Seleccionado

    Experiencia en el desarrollo y evaluación de competencias genéricas/tranversales en el Grado en Ingeniería Informática

    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

    
  • Seleccionado

    Experiencia en la Coordinación de los Títulos de Grado de la Escuela Superior de Ingeniería de la Universidad de Cádiz

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

    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

    • Resumen
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    

• Libros

  • Seleccionado

    Fundamentos de C++

    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

    • Resumen
    
  • Seleccionado

    Fundamentos de C++

    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

    • Resumen
    
  • Seleccionado

    La biblioteca estándar de C

    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

    
  • Seleccionado

    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

    • Texto Completo Libro
    

• Tesis

  • Seleccionado

    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).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    

• Tesis dirigidas

  • Seleccionado

    Verificación formal en acl2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica

    Francisco Palomo Lozano

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.). Universidad de Cádiz (2025).

    • Resumen
    • Tesis en acceso abierto en:  TESEO  RODIN 
    
  • Seleccionado

    Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica

    María del Carmen de Castro Cabrera

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Antonio García Domínguez (codir. tes.) . Universidad de Cádiz (2024).

    • Resumen
    • Tesis en acceso abierto en:  TESEO  RODIN 
    
  • Seleccionado

    Técnicas de prueba avanzadas para la generación de casos de prueba

    Kevin Jesús Valle Gómez

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Pedro Delgado Pérez (codir. tes.) . Universidad de Cádiz (2023).

    • Resumen
    • Tesis en acceso abierto en:  TESEO  RODIN 
    
  • Seleccionado

    Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores)

    Luigi La Blunda

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Matthias Wagner (codir. tes.) . Universidad de Cádiz (2022).

    • Resumen
    
  • Seleccionado

    Procesamiento de datos heterogéneos en el internet de las cosas

    David José Corral Plaza

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Guadalupe Ortiz Bellot (codir. tes.) . Universidad de Cádiz (2021).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures

    Robin Mueller Bady

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Kappes Martin (codir. tes.) . Universidad de Cádiz (2019).

    • Resumen
    
  • Seleccionado

    Prueba de mutación evolutiva en entornos orientados a objetos

    Pedro Delgado Pérez

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) . Universidad de Cádiz (2017).

    • Resumen
    • Tesis en acceso abierto en:  RODIN  RODIN 
    
  • Seleccionado

    Generación automática de casos en procesamiento de eventos con EPL

    Lorena Gutiérrez Madroñal

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) . Universidad de Cádiz (2017).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Event-driven principles and complex event processing for self-adaptive network analysis and surveillance systems

    Rüdiger Gad

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Martin Kappes (codir. tes.) . Universidad de Cádiz (2015).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Desarrollo dirigido por modelos de interfaces específicas de dominio para el procesamiento de eventos complejos en arquitecturas orientadas a servicios

    Juan Boubeta Puig

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Guadalupe Ortiz Bellot (codir. tes.) . Universidad de Cádiz (2014).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Aplicación de la prueba de mutaciones a composiciones de servicios web en ws-bpel para la generación de conjuntos de casos de prueba de calidad

    Antonia Estero Botaro

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.), Juan José Domínguez Jiménez (codir. tes.) . Universidad de Cádiz (2013).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación

    Antonio García Domínguez

    Tesis doctoral dirigida por Mariano Marcos Bárcena (dir. tes.) , Inmaculada Medina Bulo (codir. tes.). Universidad de Cádiz (2013).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

    Manuel Palomo Duarte

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.). Universidad de Cádiz (2011).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    
  • Seleccionado

    Búsquedas genéticas: métodos de optimización global y optimización combinatoria

    Juan José Domínguez Jiménez

    Tesis doctoral dirigida por Inmaculada Medina Bulo (dir. tes.). Universidad de Cádiz (2009).

    • Resumen
    • Tesis en acceso abierto en: RODIN
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      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

      • Resumen
      • Texto Completo Libro
      

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.