Defects in Product Line Models and how to Identify them

Camille Salinesi (1) , Raul Mazo (1)

1 CRI - Centre de Recherche en Informatique de Paris 1

This chapter is about generic (language-independent) verification criteria of product line models, its identification, formalisation, categorization, implementation with constraint programming techniques and its evaluation on several industrial and academic product line models represented with several languages.

Domaines: Modélisation et simulation

Camille Salinesi, Raul Mazo. Defects in Product Line Models and how to Identify them. Abdelrahman Elfaki. Software Product Line - Advanced Topic, InTech editions, pp.50, 2012, 978-953-51-0436-0. ⟨hal-00707461⟩