Thèses de l'étudiant
- 150 - 175 sur 524 résultats
Résultats de recherche
-
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 -
Modélisations de systèmes coopératifs mobiles à temps réels: évaluation du processus de développement ROPES: analyse de cas pour des systèmes ATC (Air Traffic Control) (Air Traffic Control)
Auteur: Honet, J., 2004Superviseur: Englebert, V. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modélisation et déploiement des politiques de sécurité
Auteur: Vu, H. T., 2009Superviseur: Schumacher, L. (Promoteur) & Colin, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modélisation d'un système de messagerie sous la forme d'un "Domain specific language"
Auteur: Hellebaut, B., 2008Superviseur: Englebert, V. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modélisation des processus ITIL à l'aide d'autres approches qualité
Auteur: Picard, M. & Lejeune, V., 2004Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modélisation des processus de conception de bases de données
Auteur: Aubert, S., 1994Superviseur: Hainaut, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Modélisation des données et des processus: gestion du dossier patient dans un hôpital
Auteur: Tungila Sedi, M., 2009Superviseur: Thiran, P. (Promoteur)
Student thesis: Master types › Master en sciences de gestion
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Auteur: Ortiz Vega, J. J., 4 juil. 2023Superviseur: SCHOBBENS, P. (Promoteur), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (Personne externe) (Jury), Tripakis, S. (Personne externe) (Jury) & Akshay, S. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Model checking for the Masses
Auteur: Cordy, M., 11 sept. 2014Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Promoteur), Petit, M. (Jury), ATLEE, J. (Personne externe) (Jury), Greenyer, J. (Personne externe) (Jury) & Legay, A. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
-
Model-based management of information system security risk
Auteur: Mayer, N., 21 avr. 2009Superviseur: Heymans, P. (Promoteur), Dubois, É. (Copromoteur), Jacquet, J. (Jury), Colin, J. (Jury), Ramaekers, J. (Jury), Mouratidis, H. (Personne externe) (Jury), Sindre, G. (Personne externe) (Jury) & HAGEN, D. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Mise en place d'une méthodologie de développement au sein d'un service public fédéral: analyse de déroulement du projet d'implémentation
Auteur: Pechon, V., 2006Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Mise en place du GDPR au sein du département BI du GHdC
Auteur: Gillet, A., juin 2018Superviseur: Verlaine, B. (Promoteur)
Student thesis: Master types › Master de spécialisation en informatique et innovation
-
Mise en oeuvre du RGPD dans un système d'information à travers l'analyse des flux de données
Auteur: Montulet, M., 18 juin 2019Superviseur: Colin, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier -
Mise en évidence des impacts du RGPD sur les types de données utilisés par les entreprises et des actions mises en place pour s'y adapter
Auteur: Berger, C., 26 août 2019Superviseur: Jureta, I. (Promoteur)
Student thesis: Master types › Master en ingénieur de gestion à finalité spécialisée en data science
-
Mining and Generating Vulnerable Patterns for Security Testing
Auteur: Ibragimov, A., 22 juin 2018Superviseur: Heymans, P. (Promoteur) & Perrouin, G. (Copromoteur)
Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier -
Migrating from single software development to a software product line: application to the film critik website
Auteur: Michel, R., 2009Superviseur: Heymans, P. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Methods for Improving QoS-driven Management of Web Services and their Services and their Service Level Agreements
Auteur: Herssens, C., 23 mars 2010Superviseur: Faulkner, S. (Promoteur), Chevalier, P. (Personne externe) (Président), Saerens, M. (Jury), PIGNEUR, Y. (Personne externe) (Jury), Zimányi, E. (Personne externe) (Jury) & Kolp, M. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier -
Méthodologie de développement itérative orientée objet: étude de cas: vérificateur de liens
Auteur: Dubus, J., 2002Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Méthodologie de développement d'indicateurs de qualité orientés objet
Auteur: Oprei, P., 2006Superviseur: Habra, N. (Promoteur) & Cleve, A. (Jury)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Méthodes d'identification des exigences: Lesquelles sont préférées par les stakeholders d'un projet?
Auteur: Ansion, J., 29 août 2019Superviseur: Burnay, C. (Promoteur)
Student thesis: Master types › Master en sciences de gestion à finalité spécialisée en Business Analysis & Integration
Fichier -
Méthodes de conception orientées objets : analyse critique et proposition
Auteur: Vandeloise, M., 1992Superviseur: Hainaut, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Méthodes de communication inter-processus
Auteur: Toussaint, H., 2004Superviseur: Ramaekers, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Méthode d'évaluation des processus de la maintenance du logiciel
Auteur: Lebrun, V., 2008Superviseur: Habra, N. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
Méthode de sélection d'un langage de quatrième génération
Auteur: Laurent, J., 1990Superviseur: Hainaut, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier -
METAssistant: Un outil d'évaluation de programmes informatiques destiné aux étudiants
Auteur: Colart, T. & Vaneck, Q., 24 juin 2021Superviseur: Vanderose, B. (Promoteur)
Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering
Fichier