[ES] El objetivo de este trabajo es desarrollar una técnica de análisis simbólico para planes de evolución de líneas de producto software, una colección de productos estrechamente relacionados que satisfacen las necesidades ...