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
2017 Survey of Template-Based Code Generation
2020 Evolution of domain-specific languages depending on external libraries
2021 Gentleman : a lightweight web-based projectional editor
2018 ReLiS: un outil flexible pour réaliser des revues systématiques itératives et collaboratives
2016 Using Workflows to Automate Activities in MDE Tools
2022 Generating graphical and projectional editors
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
2013 Reliable Solid Modelling Using Subdivision Surfaces
1989 Simulation et modélisation de capteurs dans un environnement robotique
1994 Navigation dans les hypertextes : une interface en Smalltalk
2009 Multi-Prover and parallel repetition in non-classical interactive games
2016 Sur l’identification des états produits par une source quantique maximalement décorrélée
2025 Interactive hashing against quantum adversaries
2017 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2021 Pattern-based refactoring in model-driven engineering
2007 Un système d'aide à la visualisation interactive de logiciels
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
2004 Estimation de l'impact du changement dans les programmes à objets
2003 Determination of software quality through a generic model
Number of results : 604