ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "Feature Models"
Mostrando ítems 1-1 de 1
-
Artículo
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...