Browsing Thèses et mémoires électroniques de l’Université de Montréal by Advisor "Sahraoui, Houari"
Now showing items 1-20 of 65
-
Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
(2022-03-16)Comprendre le comportement de haut niveau des programmes est nécessaire pour effectuer différentes tâches dans le développement et la maintenance des logiciels. Pour cela, on utilise régulièrement des traces d’exécution du système, enregistrées pendant ... -
Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
(2014-05-20)La maintenance du logiciel est une phase très importante du cycle de vie de celui-ci. Après les phases de développement et de déploiement, c’est celle qui dure le plus longtemps et qui accapare la majorité des coûts de l'industrie. Ces coûts sont dus ... -
Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
(2011-09-01)La tâche de maintenance ainsi que la compréhension des programmes orientés objet (OO) deviennent de plus en plus coûteuses. L’analyse des liens de dépendance peut être une solution pour faciliter ces tâches d’ingénierie. Cependant, analyser les liens ... -
Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
(2023-11-01)La théorie du processus dual stipule que la cognition humaine fonctionne selon deux modes distincts : l’un pour le traitement rapide, habituel et associatif, appelé communément "système 1" et le second, ayant un traitement plus lent, délibéré et contrôlé, ... -
Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
(2015-02-18)L’ingénierie dirigée par les modèles (IDM) est un paradigme d’ingénierie du logiciel bien établi, qui préconise l’utilisation de modèles comme artéfacts de premier ordre dans les activités de développement et de maintenance du logiciel. La manipulation ... -
Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
(2011-11-03)Nous proposons une approche probabiliste afin de déterminer l’impact des changements dans les programmes à objets. Cette approche sert à prédire, pour un changement donné dans une classe du système, l’ensemble des autres classes potentiellement affectées ... -
Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
(2023-02-22)L’ingénierie dirigée par les modèles (EDM) est un paradigme de développement logiciel qui promeut l’utilisation de modèles en tant qu’artefacts de première plan et de processus automatisés pour en dériver d’autres artefacts tels que le code, la ... -
Caractérisation et étude de l’impact des permissions dans les applications mobiles
(2018-05-10)Android fournit un modèle de sécurité basé sur les permissions aux développeurs d'applications tiers, qui contrôlent l'accès aux ressources système, incluant le matériel, les paramètres et les données utilisateur. Cette recherche examine un ensemble ... -
Co-simulation for controlled environment agriculture
(2024-02-21)L’agriculture en environnement contrôlé (AEC) est une pratique agricole de haute technologie où la culture de plantes et son environnement sont soumis à une certaine forme de contrôle afin d’obtenir des rendements plus élevés et une efficacité de ... -
Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
(2016-03-23)Nous proposons une approche d’extraction des diagrammes de séquence à partir de programmes orientés objets en combinant l’analyse statique et dynamique. Notre objectif est d’extraire des diagrammes compacts mais contenant le plus d’informations possible ... -
Détection des utilisations à risque d’API : approche basée sur le système immunitaire
(2018-10-18)Les APIs sont des ingrédients essentiels pour développer des systèmes logiciels complexes. Cependant, elles sont difficiles à apprendre et à utiliser. Par conséquent, les développeurs peuvent les utiliser à mauvais escient, ce qui entraîne différents ... -
Développement logiciel par transformation de modèles
(2010-03-04)La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches ...