Thèses de l'étudiant
- 425 - 450 sur 781 résultats
Résultats de recherche
-
Feature-based configuration: collaborative, dependable, and controlled
Auteur: Hubaux, A., 9 janv. 2012Superviseur: Heymans, P. (Promoteur), Schumacher, L. (Jury), Schobbens, P. (Copromoteur), Colin, J. (Jury), Czarnecki, K. (Personne externe) (Jury), Mens, K. (Personne externe) (Jury) & Habra, N. (Président)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Les conditions socio-techniques de déploiement de systèmes de collaboration basés sur le WEB 2.0 dans les grandes entreprises
Auteur: Foulon, A., 2012Superviseur: Lobet-Maris, C. (Jury)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Supporting a model-driven and iterative quality assessment methodology: The MoCQA framework
Auteur: Vanderose, B., 14 déc. 2012Superviseur: Habra, N. (Promoteur), Cleve, A. (Jury), Englebert, V. (Président), Mens, T. (Personne externe) (Jury) & BRIAND, L. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Facebook Connect, OpenID, OAuth, Oath... Une jungle de protocoles ou différents noms pour une même réalité ?
Auteur: Vermeren, V., 2012Superviseur: Colin, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Développement d'applications intelligentes au-dessus d'un réseau de capteurs sans fil
Auteur: Woine, R., 2012Superviseur: Jacquet, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Analysis of inefficiencies in financial institutions detection of money laundering
Auteur: LANOTTE , M., 2012Superviseur: LINDEN, I. (Jury) & JURETA, I. (Jury)
Student thesis: Master types › Master en sciences économiques
Fichier -
Implémentation d'un langage de variabilité
Auteur: Warnon, P., 2012Superviseur: Heymans, P. (Promoteur), Michel, R. (Promoteur) & Saval, G. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Implémentation d'un simulateur d'un système de distribution de contenu vidéo sur internet
Auteur: Choquet, O., 2011Superviseur: Remiche, M. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
A Generic Approach for Automated Verification of Product Line Models
Auteur: MAZO PENA, R., 2011Superviseur: Heymans, P. (Jury)
Student thesis: Doc types › Docteur en Sciences
-
Etude de la qualité des informations de personnalisation web
Auteur: Gilain, O., 2011Superviseur: Thiran, P. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Game theory based web services collaborative mechanism
Auteur: Clacens, K. & Goffart, C., 2011Superviseur: Thiran, P. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Etude empirique de l'impact du patron architectural MVC et de ses variantes sur la maintenabilité interne des programmes
Auteur: De Smet, B. & Lempereur, L., 2011Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Improving the gognitive effectiveness of the KAOS requirements modelling language
Auteur: Dupriez, M., 2011Superviseur: Heymans, P. (Promoteur) & Genon, N. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Extraction automatisée d'un feature model à partir d'un catalogue de produits
Auteur: Vanbeneden, C., 2011Superviseur: Heymans, P. (Promoteur) & Boucher, Q. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Website navigability automated assessment: empirical validation of a multi-level quality model
Auteur: Moulart, A., 2011Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling
Auteur: Collet, P., 2011Superviseur: Heymans, P. (Jury)
Student thesis: Doc types › Docteur en Sciences
-
Formal Domain Engineering: From Specification to Validation
Auteur: Mashkook, A., 2011Superviseur: Heymans, P. (Jury)
Student thesis: Doc types › Docteur en Sciences
-
Towards Dynamic Software Product Lines: Unifying Design and Runtime Adaptations
Auteur: PARRA, C., 2011Superviseur: Heymans, P. (Jury)
Student thesis: Doc types › Docteur en Sciences
-
Traduction de TVL en SMT-LIBv2
Auteur: Vanderveken, T., 2011Superviseur: Heymans, P. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Représentation, gestion et exploitation de données hétérogènes en e-Health
Auteur: Hainaut, J., 2011Superviseur: Hainaut, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Formal Modeling and Verification of Access-Control Policies
Auteur: Toussaint, H., 21 sept. 2011Superviseur: Schobbens, P. (Promoteur), Jacquet, J. (Président), Colin, J. (Jury), Morisset, C. (Personne externe) (Jury) & Le Traon, Y. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Développement d'un support pédagogique à la programmation orientée-objet avec leJOS
Auteur: Van den Nest, C., 2011Superviseur: Heymans, P. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Comparative analysis of variability mapping techniques
Auteur: Leclercq, M., 2011Superviseur: Heymans, P. (Promoteur) & Perrouin, G. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modelling and model checking variability-intensive systems
Auteur: Classen, A., 3 oct. 2011Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Copromoteur), Jacquet, J. (Jury), Habra, N. (Personne externe) (Jury), PECHEUR, C. (Personne externe) (Jury), Nuseibeh, B. (Personne externe) (Jury) & KATOEN, J. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Development of a quasi-birth-and-death sensitivity analysis tool
Auteur: Cordy, M., 2011Superviseur: Remiche, M. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier