Faculte d'informatique

Résultats de recherche

• Defining referential integrity constraints on NoSQL datastores

  Masson, T. (Auteur) & Ravet, R. (Auteur)Cleve, A. (Promoteur), 14 juin 2019

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier

• Définition de critères de comparaison des Ateliers de génie logiciel supportant le langage UML

  Janssens, S. (Auteur)Dubois, É. (Promoteur), 2001

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'une approche de traduction entre deux ontologies d'e-business modelling

  van den Hove d'Erstsenryck, J.-B. (Auteur)Maris, C. (Promoteur), 2007

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'une architecture générique de déploiement d'applications dans un cadre distribué

  Canart, S. (Auteur)Englebert, V. (Promoteur), 2009

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'une méthodologie orientée modèles basée sur SAM, TOGAF et ARCHIMATE pour l'alignement Business-IT

  Masudi Rehema, N. (Auteur)Petit, M. (Promoteur), 24 janv. 2020

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier

• Définition d'un langage de consultation pour une Base de Connaissances "orientée-objet"

  Nachtergaele, V. (Auteur)Le Charlier, B. (Promoteur), 1989

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'un langage de programmation permettant l'expression d'assertions

  Fisette, D. (Auteur)Le Charlier, B. (Promoteur), 1985

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'un langage de programmation visuelle générique pour la programmation de prototypes de systèmes embarqués

  Reiland, O. (Auteur)Englebert, V. (Promoteur) & Dumas, B. (Copromoteur), 3 sept. 2015

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d'un sous-ensemble du langage Prolog.: Proposition d'une méthode de démonstration de programmes applicable à ce sous-ensemble

  Derroitte, M. (Auteur)Le Charlier, B. (Promoteur), 1986

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition d’un DSML destiné à modéliser des applications mobiles multi-plateformes

  Trapletti, L. (Auteur)Vanhoof, W. (Président) & Englebert, V. (Promoteur), 20 juin 2017

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Définition et application d'une démarche de sélection d'une méthode d'ingénierie des exigences

  Thienpont, I. (Auteur)Maris, C. (Promoteur), 2002

  Student thesis: Master types › Master en sciences informatiques

• Definition of a model-based methodology for improving business-IT alignment based on SAM

  Ntumb An Mwinkeu, M. (Auteur)Petit, M. (Promoteur), 28 août 2018

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier

• De l'adéquation de la programmation logique aux systèmes à bases de connaissances : A.I.D.A.

  Moisse, P. (Auteur)Ramaekers, J. (Promoteur), 1990

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• De l'analyse organisationnelle à l'analyse des exigences

  Clause, O. (Auteur)Maris, C. (Promoteur), 2002

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• De l'ERP à la BI: Complémentarité et Intégration

  Thiry, C. (Auteur), Habra, N. (Promoteur) & Verlaine, B. (Copromoteur), 27 août 2016

  Student thesis: Master types › Master de spécialisation en informatique et innovation

  Fichier

• Delivering protected content: an approach for next generation mobile technologies

  Collet, J. B. (Auteur)Colin, J.-N. (Promoteur), 2010

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• De l'utilisation de fonctions d'authentification pour la vérification de l'intégrité des fichiers

  Gillet, P. (Auteur)Ramaekers, J. (Promoteur), 1988

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• De l'utilisation de scenarios dans le contexte du langage Albert

  Bongartz, C. (Auteur)DUBOIS, E. (Promoteur), 1997

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• De l'utilisation de scénarios dans le contexte du langage Albert

  Bongartz, C. (Auteur)Dubois, É. (Promoteur), 1997

  Student thesis: Master types › Master en sciences informatiques

• Démarche d'analyse logique en informatique de gestion

  Flamion, A. (Auteur)Brunin, J. (Jury), 1974

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Déploiement de l'approche MoCQA en environnement professionnel

  Hanoteau, S. (Auteur)Habra, N. (Promoteur), 2012

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Deriving run time properties of Logic Programs by means of Abstract Interpretation: An implementation

  Rouard, D. (Auteur)Le Charlier, B. (Promoteur), 1993

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Description de l’interaction multimodale :extension du langage SMUIML

  Tallier, M. (Auteur)Vanhoof, W. (Président) & Dumas, B. (Promoteur), 26 juin 2017

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Description et analyse des différentes stratégies de récupération dans les systèmes de Calcul Formel : l'exemple de PAC

  Olikier, J.-F. (Auteur)Le Charlier, B. (Promoteur), 1991

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Description et approche expérimentale de raisonnement hybride au sein du Web sémantique

  Sirjacques, J. (Auteur)Vanhoof, W. (Promoteur), 3 sept. 2018

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier