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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
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
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2003 Determination of software quality through a generic model
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
Number of results : 1178