ListarITIS - Contribuciones a congresos científicos por tema "automated reasoning"
Mostrando ítems 1-1 de 1
-
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
(ACM, 2022)Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis ...