Software y Transferencia Tecnológica (12)
2026
uvlhighlight
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
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
Un motor de resolución de variabilidad para modelos UVL y artefactos basados en texto independiente del lenguaje con plantillas Jinja.
2024
UVLHub
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
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
La herramienta de referencia basada en Python para el análisis automático de modelos de variabilidad con soporte para UVL.
Rhea web
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
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
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
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
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
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.