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
2006 Visualisation de la qualité des logiciels de grandes taille
2015-02 A unified framework for the comprehension of software's time dimension
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2006 Formal checking of web based applications
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