• 2783 Citations
  • 25 h-Index
19952020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Travail supervisé

A Feature-based Configurtor for CAM

Author: Colige, S., 12 sept. 2012

Superviseur: Heymans, P. (Promoteur), Hubaux, A. (Copromoteur) & Saval, G. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A Generic Approach for Automated Verification of Product Line Models

Author: MAZO PENA, R., 2011

Superviseur: Heymans, P. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Amélioration du support à la rédaction d'exigences, GenSpec

Author: Harmel, D. & Cavillot, G., 2008

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Améliorations de l'outil d'ingénierie des exigences GenSpec

Author: Pire, O. & Pirmez, N., 2007

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A prototype for lessons learned systems oriented towards safety-critical software

Author: Defat, S. & Jeunejean, F., 2004

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Architecting software systems using model transformations and architectural frameworks

Author: Perrouin, G., 20 sept. 2007

Superviseur: Heymans, P. (Promoteur), Hainaut, J. (Jury), Guelfi, N. (Personne externe) (Copromoteur), Bouvry, P. (Personne externe) (Jury), VAN DER LINDEN, F. (Personne externe) (Jury), Jézéquel, J. (Personne externe) (Jury) & Schobbens, P. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

A tag-based approach to software product line implementation

Author: Gauthier, C., 2010

Superviseur: Heymans, P. (Promoteur), Boucher, Q. (Copromoteur) & Hubaux, A. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automated Software configuration: the product line approach: an application to conference management websites

Author: Baudoux, C., 2009

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications

Author: Bontemps, Y., 2001

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

A validation tool for the UEML approach

Author: Mahiat, J., 2006

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Behavioural model-based testing of software product lines

Author: Devroey, X., 30 août 2017

Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Author: Devroey, X., 2010

Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Comparaison d'outils d'ingénierie des exigences dirigée par les modèles

Author: Van Kerckhoven, M., 11 sept. 2012

Superviseur: Heymans, P. (Promoteur) & Saval, G. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Comparaison et amélioration de l'efficacité cognitive des notations visuelles dans l'ingénierie de lignes de produits logiciels (internship at Spacebel)

Author: FEDUNIAK, D., 2009

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Comparative analysis of variability mapping techniques

Author: Leclercq, M., 2011

Superviseur: Heymans, P. (Promoteur) & Perrouin, G. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Computer-Aided Reasoning for Product-Line Model Checking

Author: Dawagne, B., 3 sept. 2014

Superviseur: Heymans, P. (Promoteur) & Cordy, M. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

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

Author: Faber, P., 2010

Superviseur: Heymans, P. (Promoteur), Classen, A. (Copromoteur) & Boucher, Q. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Conception d'un outil d'aide à l'analyse par la méthode des Problem frames de Jackson

Author: Gonze, M. & Martinez, F., 2005

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Concrétisation de tests abstraits avec AbsCon, un AddOn Qtaste

Author: Vanhecke, J., 2 sept. 2016

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Configuration assistée par machine learning: études empiriques et application à la prédiction de défauts dans l'impression 3D

Author: Amand, B., 27 août 2018

Superviseur: Heymans, P. (Promoteur) & Cordy, M. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Créativité collaborative en ingénierie des exigences: outils pour le facilitateur (de réunions de co-conception)

Author: Hortz, A., 2014

Superviseur: Heymans, P. (Promoteur) & Mahaux, M. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Créativité de groupe pour l’ingénierie des exigences

Author: Marteau, F., 5 sept. 2014

Superviseur: Heymans, P. (Promoteur) & Mahaux, M. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Développement d'un support pédagogique à la programmation orientée-objet avec leJOS

Author: Van den Nest, C., 2011

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Engineering Configuration Graphical User Interfaces from Variability Models

Author: Boucher, Q., 26 sept. 2014

Superviseur: Heymans, P. (Promoteur), Englebert, V. (Jury), Perrouin, G. (Jury), Botterweck, G. (Personne externe) (Jury) & Vanderdonck, J. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Etude, évaluation et utilisation du paradigme de programmation orienté aspect (AOP)

Author: Pirart, G., 2005

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques