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

  • Paul Faber

Student thesis: Master types › Master in Computer science

Date of Award2010
Original 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

Documents

'