José Miguel Horcas Aguilera

Software y Transferencia Tecnológica (12)

2026
uvlhighlight
(1/2) José Miguel Horcas, Chico Sundermann
Universidad de Málaga • TU Braunschweig
🗺️ Sep 2026
Un paquete de LaTeX que proporciona resaltado de sintaxis para el lenguaje UVL (Universal Variability Language). Está basado en el paquete listings y es compatible con todas las palabras clave de UVL. El paquete incluye múltiples temas visuales (predeterminado, Flamapy, modo oscuro de UVLS, y blanco y negro) y proporciona comandos en línea para el resaltado semántico. También admite atributos de características definidos por el usuario y la inclusión de archivos .uvl externos.
BibTexViz
(1/1) José Miguel Horcas
Universidad de Málaga
🗺️ Apr 2026
Una herramienta que transforma archivos .bib en visualizaciones interactivas para explorar y analizar la productividad científica. Ofrece una visión general e intuitiva del panorama de publicaciones de investigación a lo largo de los años, lo que permite a los usuarios identificar rápidamente las publicaciones más significativas y comprender su contexto. BibTexViz cierra la brecha entre los datos bibliográficos brutos y la analítica visual reveladora, permitiendo a los investigadores explorar sus trayectorias profesionales al mismo tiempo que se alinean con los principios de las iniciativas CoARA y DORA.
2025
UVengine
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Universidad de Málaga
🗺️ Sep 2025
Un motor de resolución de variabilidad para modelos UVL y artefactos basados en texto independiente del lenguaje con plantillas Jinja.
2024
UVLHub
(4/5) David Romero-Organvidez, José Ángel Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
Universidad de Sevilla • University of ULM • Universidad de Málaga
🗺️ Oct 2024
Un repositorio de código abierto para gestionar y compartir modelos UVL, actualmente el estándar de facto para el modelado de variabilidad.
2023
FMSans
(1/4) José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto, Lidia Fuentes
Universidad de Málaga
🗺️ Aug 2023
FMSans es una técnica de compilación para modelos de características que elimina las restricciones textuales y permite analizar el modelo sin necesidad de un razonador SAT o BDD.
Flamapy
(2/12) José Ángel Galindo, José Miguel Horcas, Viet-Man Le, Victor Lamas, Rubén Heradio, David Romero-Organvidez, Francisco Sebastián Benítez, David Fernández-Amoros, Miguel R. Luaces, Alexander Felferning, Lidia Fuentes, David Benavides
Universidad de Sevilla • Universidad de Málaga • TU Graz • Universidad A Coruña • UNED
🗺️ Aug 2023
La herramienta de referencia basada en Python para el análisis automático de modelos de variabilidad con soporte para UVL.
Rhea web
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Universidad de Málaga
🗺️ Mar 2023
®️ Ref. 2303303911515. Safe Creative
Aplicación web para aplicar transformaciones (refactorizaciones) a modelos de variabilidad con el objetivo de proporcionar interoperabilidad entre aplicaciones de líneas de producto software.
2022
FM Fact Label
(1/5) José Miguel Horcas, José Ángel Galindo, Mónica Pinto, Lidia Fuentes, David Benavides
Universidad de Málaga • Universidad de Sevilla
🗺️ Sep 2022
Una herramienta para generar visualizaciones con las métricas estructurales y semánticas de modelos de características como una etiqueta de información nutricional.
ACaPulCO
(3/5) Jabier Martinez, Daniel Strüber, José Miguel Horcas, Alexandru Burdusel, Steffen Zschaler
Tecnalia • Chalmers | University Gothenburg and Radboud University Nijmegen • Universidad de Málaga • King’s College London
🗺️ Sep 2022
Plugin de Eclipse para la configuración óptima de líneas de productos software mediante algoritmos genéticos y operadores de configuración que preservan la consistencia.
2021
MCTS framework for FM analyses
(1/5) José Miguel Horcas, José Ángel Galindo, Rubén Heradio, David Fernández-Amoros, David Benavides
Universidad de Sevilla • UNED
🗺️ Sep 2021
Marco conceptual para analizar problemas de líneas de productos de software, modelándolos como una secuencia de pasos de decisión y resolviéndolos con técnicas de Monte Carlo, principalmente con Monte Carlo Tree Search (MCTS).
2019
iStar2FM
(3/4) Inmaculada Ayala, Mercedes Amor, José Miguel Horcas, Lidia Fuentes
Universidad de Málaga
🗺️ Nov 2019
Conjunto de algoritmos y scripts para realizar un mapeo desde un modelo de requisitos i* (iStar) hacia un modelo de características (FM).
2017
vEXgine
(1/3) José Miguel Horcas, Mónica Pinto, Lidia Fuentes
Universidad de Málaga
🗺️ Sep 2017
®️ RTA-00658-2017. Intellectual Property Registry (NINFA). Nº: 04/2018/667
Implementación personalizable y extensible del motor de ejecución para el Lenguaje Común de Variabilidad (CVL) basada en transformaciones modelo a modelo mediante un lenguaje de transformación de propósito general como ATL. La herramienta fue galardonada con el premio 🏆 Hitachi Young Best Paper Award en la conferencia SPLC 2017, premio patrocinado por la empresa Hitachi. Además, ha sido utilizada con éxito por la Universidad de A Coruña y la empresa Enxenio.