Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Patrick HEYMANS

Mémoires et thèses supervisés (19)

Thèses

2012
Feature-based configuration: collaborative, dependable, and controlled
Arnaud HUBAUX
2011
Modelling and model checking variability-intensive systems
Andreas CLASSEN
2009
Model-based management of information system security risk
Nicolas MAYER
2008
Quality of feature diagram languages: formal evaluation and comparison
Jean-Christophe TRIGAUX
2007
Architecting software systems using model transformations and architectural frameworks
Gilles PERROUIN

Mémoires

2011
Extraction automatisée d'un Feature Model compact à partir d'un catalogue de produits
Charles VANBENEDEN
2010
A tag-based approach to software product line implementation
Christophe GAUTHIER
2010
Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Paul FABER
2009
Migrating from single software development to a software product line: application to the film critik website
Raphaël MICHEL
2009
Automated Software configuration: the product line approach: an application to conference management websites
Christophe BAUDOUX
2008
Amélioration du support à la rédaction d'exigences, GenSpec
Delphine HARMEL, Guillaume CAVILLOT
2008
Visually effective Tropos models
Quentin BOUCHER
2007
Améliorations de l'outil d'ingénierie des exigences GenSpec
Olivier PIRE, Nicolas PIRMEZ
2007
Problem-oriented modelling and verification of software product lines
Andreas CLASSEN
2007
Modelling security during early requirements: contributions to and usage of a domain model for information system security risk management
Nicolas GENON
2006
A validation tool for the UEML approach
Jérémy MAHIAT
2005
Etude, évaluation et utilisation du paradigme de programmation orienté aspect (AOP)
Gaël PIRART
2005
QROSS-checking RESCUE models
Catherine MOYEN
2004
A prototype for lessons learned systems oriented towards safety-critical software
Simon DEFAT, Félix JEUNEJEAN