Ce 3 novembre 2015, Raphael Michel a présenté la défense publique de sa thèse consacrée aux lignes de produits logiciel. Raphael qui a mené sa thèse au CETIC dans le cadre du projet DOC.A CALiPRo est à présent docteur de l’université de Namur.
La thèse de Raphael est consacrée à l’extension du language TVL développé dans le centre PRECISE de l’université de Namur. L’extension vise à rendre plus riche les possibilités d’expression du langage pour les cardinalités des features et est indispensable pour son utilisation industrielle. Il a aussi défini la sémantique du langage TVL2 et prototyper des outils capables de raisonner sur TVL2 notamment au moyen de solvers SMT.
Le jury de sa thèse était présidé par Monsieur Pierre-Yves Schobbens, Professeur de la Faculté d’Informatique, et composé de
