Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL

  • Paul Faber

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award2010
LanguageFrench
Awarding Institution
  • University of Namur
SupervisorPatrick Heymans (Supervisor), Andreas Classen (Co-Supervisor) & Quentin Boucher (Co-Supervisor)

Keywords

  • software product lines
  • variability
  • feature diagram
  • TVL
  • model transformatio
  • model checking

Cite this

Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Faber, P. (Author). 2010

Student thesis: Master typesMaster in Computer science