Namur Digital Institute

Résultats de recherche

• A Blackboard Approach to Concurrent Constraint Programming

  Author: Pires da Costa, J. M., 1996

  Superviseur: Jacquet, J. (Promoteur)

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

  Fichier

• Abstract Interpretation of Prolog programs: Optimizations of an implementation

  Author: Englebert, V. & Roland, D., 1992

  Superviseur: Le Charlier, B. (Promoteur)

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

  Fichier

• A case base as a learning tool for the design of human computer interfaces

  Author: Michiels, R., 1999

  Superviseur: Bodart, F. (Promoteur)

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

  Fichier

• Accidents de la route autour du domicile : un modèle probabiliste

  Author: Thiran, P., 1995

  Thèse de l'étudiant: Master types › Master en sciences mathématiques

• A contribution to C++ database development methodology

  Author: Lambers, P., 1998

  Superviseur: Hainaut, J. (Promoteur)

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

  Fichier

• Acquisistion de Spécification à partir du Langage Naturel

  Author: Thiran, P., 1997

  Superviseur: Hainaut, J. (Promoteur)

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

• Acquisition de spécifications à partir du langage naturel

  Author: Thiran, P., 1997

  Superviseur: Hainaut, J. (Promoteur)

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

  Fichier

• A Critique of Genetic Enligntenment: Human Genetics and the Metamorphoses of Governance

  Author: Rouvroy, A., 2006

  Thèse de l'étudiant: Doc types › Docteur en Sciences Juridiques

• Adaptation du processus de tests logiciel en fonction du contexte: étude de cas

  Author: S'Jongers, M., 2004

  Superviseur: Habra, N. (Promoteur)

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

• A distributed collaborative model editing framework for domain specific modeling languages

  Author: Koshima, A., 12 janv. 2016

  Superviseur: Englebert, V. (Promoteur), Thiran, P. (Copromoteur), Vanhoof, W. (Président), Cleve, A. (Jury), Mens, T. (Personne externe) (Jury) & Van Gorp, P. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences

  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 types › Docteur en Sciences

• Aide à l'édition de spécifications orientées agents de systèmes de production manufacturiers

  Author: Baudoin, P., 2005

  Superviseur: Petit, M. (Promoteur)

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

  Fichier

• Alliance of Web services

  Author: Loubris, J., 2009

  Superviseur: Thiran, P. (Promoteur) & Castiaux, A. (Jury)

  Thèse de l'étudiant: Master types › Master en sciences de gestion

• Amélioration de la qualité des applications Web: une approche par heuristique

  Author: Boclinville, S., 2009

  Superviseur: Habra, N. (Promoteur)

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

  Fichier

• Amélioration de la qualité des processus logiciels dans les PME: expérimentation, amélioration et outillage

  Author: Grégory, C., 2007

  Superviseur: Habra, N. (Promoteur)

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

  Fichier

• Amélioration des pratiques logicielles dans les contaxtes Agile

  Author: Robaeys, A., 2007

  Superviseur: Habra, N. (Promoteur)

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

  Fichier

• Amélioration du processus de la maintenance du logiciel par un système informatisé d'aide à la décision

  Author: Counet, A., 2007

  Superviseur: Habra, N. (Promoteur) & Cleve, A. (Jury)

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

  Fichier

• 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 types › Master 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 types › Master en sciences informatiques

  Fichier

• A method to support the alignment of business models and goal models

  Author: Halleux, P. & Mathieu, L., 2008

  Superviseur: Petit, M. (Promoteur)

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

  Fichier

• A model-based methodology for early stages of ERP implementations in SMEs

  Author: Mordant, A., 2008

  Superviseur: Petit, M. (Promoteur)

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

  Fichier

• A multimedia support to the learning of interaction objects

  Author: Bodart, T. & Magnier, M. L., 1999

  Superviseur: Bodart, F. (Promoteur)

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

• An Actor Dynamics Perspective of Socio-Technical Transitions: The Case Study of Energy Efficient Projects in the Information Technology Sector

  Author: Lienart Van Lidth De Jeude, S., 20 juin 2016

  Superviseur: Castiaux, A. (Promoteur), Decrop, A. (Président), Hammedi, W. (Jury), Swaen, V. (Personne externe) (Jury), Williams, D. P. (Personne externe) (Jury) & Ingham, M. (Personne externe) (Jury)

  Thèse de l'étudiant: Doc types › Docteur en Sciences économiques et de gestion

• Analyse conceptuelle de documents cartographiques

  Author: Detienne, V., 1996

  Superviseur: Hainaut, J. (Jury)

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

  Fichier

• Analyse de classes Android

  Author: Bastin, L., 22 juin 2020

  Superviseur: VANHOOF, W. (Promoteur)

  Thèse de l'étudiant: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier