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
2010-08 Rétro-ingénierie des diagrammes de séquence par visualisation interactive
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2021-11 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2015-02 A unified framework for the comprehension of software's time dimension
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2006 Visualisation de la qualité des logiciels de grandes taille
2006 Formal checking of web based applications
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
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
2004 Estimation de l'impact du changement dans les programmes à objets
2004 Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives
2003 Determination of software quality through a generic model
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011-08 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2010-11 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2014-11 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
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
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité
2002 A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
2023-08 Few-shot prompt learning for automating model completion
2003 Software stability assessment using multiple prediction models
2016-08 Inferring API Usage Patterns and Constraints : a Holistic Approach
2022-11 Extraction of UML class diagrams from natural language specifications
2023-07 Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
2010-11 Modelling software quality : a multidimensional approach
2014-12 Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
2023-07 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2015-04 Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
2018-11 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
2015-07 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
2020-11 Towards using intelligent techniques to assist software specialists in their tasks
2001 Obje[c]t identification using conceptual clustering
2015-03 Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos
2018-06 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
2022-12 Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
2001 Identification des objets dans les applications léguées basée sur les algorithmes génétiques
2013-06 Improving automation in model-driven engineering using examples
2010-06 Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
2016-12 Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
Nombre de résultats : 1161