Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2009-07 Développement logiciel par transformation de modèles
2007 Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents
2003 Determination of software quality through a generic model
2004 Estimation de l'impact du changement dans les programmes à objets
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2004 Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2010-11 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2011-08 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2014-11 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2007 Modélisation pour la gestion de modèles
2003 Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
2011-06 Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
2011-02 Transformation by example
2016-11 Using goal-driven assistants for software visualization
2007 Évaluation de la qualité des applications web : approche probabiliste
2010-11 Modelling software quality : a multidimensional approach
2018-11 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach