José Miguel Horcas Aguilera
English

Dirección Académica (19)

2029
⚠️ (On progress) Automated Synthesis and Security Verification of Highly Configurable Systems: A Focus on Cloud-Native Infrastructures
🧑‍🎓 Brian Alexander Flores López 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga
2027
⚠️ (On progress) Herramientas para el Cómputo del Backbone de un Modelo de Variabilidad
🧑‍🎓 Luis Cambelo 🧑‍🏫 Rubén Heradio, José Miguel Horcas
UNED • Universidad de Málaga
2026
Generación automática de sitios webs personalizados para conferencias científicas
🎓 8.7
🧑‍🎓 Eric Stridh Fernández 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Modelado y evaluación de configuraciones de seguridad en sistemas declarativos
🎓 9.5
🧑‍🎓 Brian Alexander Flores López 🧑‍🏫 José Antonio Álvarez Bermejo, José Miguel Horcas
Universidad de Almería 📚 Máster en Tecnologías y Aplicaciones en Ingeniería Informática
2025
Capturing and Exploiting Design Pattern Variability in Mobile Application Generation
🎓 9.6
🧑‍🎓 Ramón Alberto Peralta 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
📄 https://arxiv.org/abs/2607.15099
Aplicación móvil para la recomendación de destinos turísticos y actividades en la naturaleza
🎓 8.6
🧑‍🎓 Johan De La Cruz 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
Ingeniería inversa de modelos de variabilidad en una línea de productos comercial altamente configurable: Magic The Gathering
🎓 8.5
🧑‍🎓 Manuel Rubiales Sancho 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Desarrollo de una plataforma open-source para la gestión de citas bibliográficas
🎓 7.0
🧑‍🎓 Antonio Ortega Santaolalla 🧑‍🏫 José Miguel Horcas, Laura Panizo
Universidad de Málaga 📚 Grado en Ingeniería del Software
Análisis y desarrollo de aplicación móvil para la gestión de turnos
🎓 7.1
🧑‍🎓 Radeluis Ismael Sánchez de los Santos 🧑‍🏫 José Miguel Horcas
Universidad San Jorge 📚 Máster Universitario en Tecnologías Software Avanzadas para Dispositivos Móviles
2024
Generación automática de ficheros de configuración para el despliegue de servicios en Docker
🎓 9.0
🧑‍🎓 Marcos Domínguez Moreno 🧑‍🏫 José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
NutriRest Aplicación Web para Menús de Restaurantes con Enfoque Nutricional Personalizado
🎓 8.5
🧑‍🎓 Claudia Vega Rodríguez 🧑‍🏫 Laura Panizo, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
FM Fact Label 2.0: Desarrollo de funcionalidades avanzadas para la visualización de métricas de modelos de variabilidad
🎓 9.6
🧑‍🎓 Ángela Pérez de Guzmán de Miguel 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería del Software
📄 http://hdl.handle.net/10630/38233
Repositorio y editor online de modelos de variabilidad en formato UVL
🎓 8.5
🧑‍🎓 Miguel Gómez Vera 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería Informática
Sabor al Dato: Evaluación de Ingredientes y Saborizantes para una Vida Saludable
🎓 7.8
🧑‍🎓 Miguel Ángel Ruiz Villarrazo 🧑‍🏫 José Miguel Horcas, Laura Panizo
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
Videos docentes para complementar el aprendizaje de C++ en los grados universitarios
🎓 5.5
🧑‍🎓 Álvaro Gómez García 🧑‍🏫 Lola Burgueño, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería en Tecnologías Industriales
2023
Biblioteca de transformaciones de modelos de características para gestionar la variabilidad de familias de productos software
🎓 9.6
🧑‍🎓 Adriana Novoa Hurtado 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Grado en Ingeniería de la Salud
📄 http://hdl.handle.net/10630/30619
2021
Generación de modelos de variabilidad con diferente expresividad mediante transformación de modelos
🎓 7.5
🧑‍🎓 Miguel de la Morena Pérez 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Máster en Ingeniería del Software e Inteligencia Artificial
2020
Software verde con métodos ágiles y su relación con los servicios de tecnología de información y el software regulado
🎓 6.5
🧑‍🎓 Teresa de Jesús Narváez Narváez 🧑‍🏫 Mónica Pinto, José Miguel Horcas
Universidad de Málaga 📚 Máster en Ingeniería del Software e Inteligencia Artificial
2017
Tejedor Dinámico y Ecoeficiente de Código Android
🎓 9.5
🧑‍🎓 Ángel Jesús Cañete Valverde 🧑‍🏫 Lidia Fuentes, José Miguel Horcas
Universidad de Málaga 📚 Máster Universitario en Ingeniería Informática