Defects in Product Line Models and how to Identify them - Archive ouverte HAL
Chapitre D'ouvrage Année : 2012

Defects in Product Line Models and how to Identify them

Camille Salinesi
Centre de Recherche en Informatique de Paris 1
Raul Mazo
Centre de Recherche en Informatique de Paris 1

Résumé

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
Fichier principal
Vignette du fichier
Defects-in-product-line-models-and-how-to-identify-them-SecondCorrection.pdf (419.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Raul Mazo  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00707461

Soumis le : mardi 12 juin 2012-16:31:14

Dernière modification le : jeudi 6 avril 2023-10:54:11

Archivage à long terme le : jeudi 13 septembre 2012-02:35:16

Télécharger pour visualiser

Dates et versions

hal-00707461 , version 1 (12-06-2012)

Identifiants

  • HAL Id : hal-00707461 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI TDS-MACS
94 Consultations
355 Téléchargements

Partager

More