A Generic Approach for Automated Verification of Product Line Models
This thesis explores the subject of automatic verification of product line models. This approach is based on the hypothesis that to automatically verify product line models, they should first be transformed into a language that makes them computable. In this thesis, product line models are transform...
Main Author: | |
---|---|
Language: | ENG |
Published: |
Université Panthéon-Sorbonne - Paris I
2011
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00707351 http://tel.archives-ouvertes.fr/docs/00/70/73/51/PDF/Thesis-RaulMAZO-18-05-2012.pdf |