Namur Digital Institute

Résultats de recherche

• A Blackboard Approach to Concurrent Constraint Programming

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

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Abstract Interpretation of Prolog programs: Optimizations of an implementation

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

  Superviseur: Le Charlier, B. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: Michiels, R., 1999

  Superviseur: Bodart, F. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: Thiran, P., 1995

  Student thesis: Master types › Master en sciences mathématiques

• A contribution to C++ database development methodology

  Auteur: Lambers, P., 1998

  Superviseur: Hainaut, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Acquisistion de Spécification à partir du Langage Naturel

  Auteur: Thiran, P., 1997

  Superviseur: Hainaut, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

• Acquisition de spécifications à partir du langage naturel

  Auteur: Thiran, P., 1997

  Superviseur: Hainaut, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: Rouvroy, A., 2006

  Student thesis: Doc types › Docteur en Sciences Juridiques

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

  Auteur: S'Jongers, M., 2004

  Superviseur: Habra, N. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: 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)

  Student thesis: Doc types › Docteur en Sciences

  Fichier

• A Generic Approach for Automated Verification of Product Line Models

  Auteur: MAZO PENA, R., 2011

  Superviseur: Heymans, P. (Jury)

  Student thesis: Doc types › Docteur en Sciences

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

  Auteur: Baudoin, P., 2005

  Superviseur: Petit, M. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Alliance of Web services

  Auteur: Loubris, J., 2009

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

  Student thesis: Master types › Master en sciences de gestion

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

  Auteur: Boclinville, S., 2009

  Superviseur: Habra, N. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: Grégory, C., 2007

  Superviseur: Habra, N. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Amélioration des performances d'un metarepository

  Auteur: Vanpé, J., 1 sept. 2020

  Superviseur: ENGLEBERT, V. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Amélioration des pratiques logicielles dans les contaxtes Agile

  Auteur: Robaeys, A., 2007

  Superviseur: Habra, N. (Promoteur)

  Student thesis: 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

  Auteur: Counet, A., 2007

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

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

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

  Superviseur: Heymans, P. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

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

  Superviseur: Heymans, P. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

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

  Superviseur: Petit, M. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: Mordant, A., 2008

  Superviseur: Petit, M. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• A multimedia support to the learning of interaction objects

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

  Superviseur: Bodart, F. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

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

  Auteur: 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)

  Student thesis: Doc types › Docteur en Sciences économiques et de gestion

• Analyse conceptuelle de documents cartographiques

  Auteur: Detienne, V., 1996

  Superviseur: Hainaut, J. (Jury)

  Student thesis: Master types › Master en sciences informatiques

  Fichier