Herramientas

Flamapy

Framework de análisis de variabilidad en Python que soporta múltiples solvers (FM, SAT, BDD) y metamodelos para la integración de herramientas en el ecosistema Python.

Autores: US, UMA, UNED, University of Graz

UVL Hub

Repositorio de modelos de características en formato UVL y datasets de modelos UVL, integrado con Zenodo y Flama.

Autores: US, UMA, University of Ulm

FM Fact Label

Herramienta online que proporciona una visualización configurable e interactiva de caracterizaciones (métricas) de los modelos de características. Colaboración de UMA y US.

Autores: US, UMA

RHEA

Aplicación web para aplicar transformaciones (refactorings) a modelos de variabilidad con el objetivo de proporcionar interoperabilidad entre las aplicaciones de SPL.

Autores: UMA

Eco-asistente HADAS

Aplicación web online que permite (1) modelar sistemas y recopilar métricas de atributos de calidad complejos en un repositorio colaborativo en la nube, y (2) razonar sobre ellos proporcionando gráficas y consejos estadísticos de optimización a desarrolladores.

Autores: UMA

SAVRUS

Detección de influencias entre grupos de características y atributos de calidad complejos en espacios colosales y parcialmente medidos mediante muestreo inteligente y aprendizaje dinámico.

Autores: UMA

NEMO₂

Herramienta que aplica bit-blasting para codificar expresiones aritméticas como fórmulas proposicionales y estándares como el Lenguaje Universal de Variabilidad (UVL). De este modo, los productos pueden ser contados eficientemente por los solucionadores #SAT y BDDs, lo que permite encontrar productos casi óptimos. Colaboración de UMA y University of Texas at Austin (Don Batory, Estados Unidos).

Autores: UMA, UT@Austin