Buscar
Mostrando ítems 1-1 de 1
Capítulo de Libro
Automated Analysis of Stateful Feature Models
(Springer, 2013)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning problem based on constraint programming. Such extraction is driven by a catalogue of basic ...