Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées

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 de dépendance est une tâche à la fois importante et difficile. Nous proposons une approche pour l'étude des liens de dépendance internes pour des programmes OO, dans un cadre probabiliste, où les entrées du programme peuvent être modélisées comme un vecteur aléatoire, ou comme une chaîne de Markov. Dans ce cadre, les métriques de couplage deviennent des variables aléatoires dont les distributions de probabilité peuvent être étudiées en utilisant les techniques de simulation Monte-Carlo. Les distributions obtenues constituent un point d’entrée pour comprendre les liens de dépendance internes entre les éléments du programme, ainsi que leur comportement général. Ce travail est valable dans le cas où les valeurs prises par la métrique dépendent des entrées du programme et que ces entrées ne sont pas fixées à priori. Nous illustrons notre approche par deux études de cas.

Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet

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 par ce changement. Cette prédiction est donnée sous la forme d’une probabilité qui dépend d’une part, des interactions entre les classes exprimées en termes de nombre d’invocations et d’autre part, des relations extraites à partir du code source. Ces relations sont extraites automatiquement par rétro-ingénierie. Pour la mise en oeuvre de notre approche, nous proposons une approche basée sur les réseaux bayésiens. Après une phase d’apprentissage, ces réseaux prédisent l’ensemble des classes affectées par un changement. L’approche probabiliste proposée est évaluée avec deux scénarios distincts mettant en oeuvre plusieurs types de changements effectués sur différents systèmes. Pour les systèmes qui possèdent des données historiques, l’apprentissage a été réalisé à partir des anciennes versions. Pour les systèmes dont on ne possède pas assez de données relatives aux changements de ses versions antécédentes, l’apprentissage a été réalisé à l’aide des données extraites d’autres systèmes.

Les programmes de détention d’actions pour les employés : L’impact sur la profitabilité de la firme.

Rapport de recherche

La privatisation dans les pays en voie de developement: ses programmes, obstacles et raisons.

Rapport de recherche

Les programmes d'ajustement du fonds monetaire internationnal et les pays en voie de developpement: le cas du perou.

Rapport de recherche

Computer "Insecurity" and Viral Attacks : Liability Issues Regarding Unsafe Computer Systems Under Quebec Law

Un résumé en français est également disponible.

L'attraction et la rétention des infirmières dans des programmes de personnes en perte d'autonomie liée au vieillissement: un défi pour les cadres intermédiaires

Les résultats de cette recherche faite auprès de cadres intermédiaires qui sont les gestionnaires des infirmières travaillant dans des programmes de personnes âgées en perte d'autonomie liée au vieillissement(PALV) montrent qu'il est difficile d'y attirer de nouvelles infirmières en raison du peu de popularité du domaine de la gériatrie.Afin d'y attirer des candidates, les cadres peuvent faire valoir le défi de gérer des situations de santé souvent complexes, la flexibilité des horaires de travail,l'autonomie dont elles disposent dans l'organisation de leur travail, le nombre de week-end de travail moins élevé que dans les hôpitaux et l'absence de travail supplémentaire obligatoire. Selon ces cadres, la rétention des infirmières dans de tels programmes PALV ne crée pas problème. Pour favoriser davantage cette rétention, des mesures élaborées d'orientation et d'encadrement des nouvelles infirmières de même que des mécanismes d'évaluation formelle doivent être mis en place, des efforts doivent être faits pour répartir équitablement les tâches, pour amener les infirmières à agir en tant que gestionnaires de cas et à se délester de tâches au profit des infirmières auxiliaires, et pour les sensibiliser à l'importance de la notion de prise en charge de sa santé par le client; des activités de formation continue significatives pour les infirmières doivent être élaborées à partir de l'analyse de leurs propres besoins et enfin des charges de travail particulières doivent être offertes aux infirmiàres de 55 ans et plus dans le but de les retenir au travail.

A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

L'influence de la stratégie internationale des multinationales sur leurs programmes de mobilité internationale

Notre étude s’intéresse à la façon dont les entreprises multinationales utilisent et gèrent la mobilité internationale de leurs employés. Plus précisément, nous cherchions à déterminer l’importance que les entreprises multinationales accordent à leur stratégie internationale au moment de décider de la façon d’utiliser l’expatriation et de la gérer au moyen des programmes de mobilité internationale. Bien que l’objet principal de notre recherche soit d’observer l’influence de la stratégie internationale sur ces programmes, nous avons cherché également à identifier d’autres caractéristiques de chaque entreprise et de son environnement susceptibles de les influencer. Cette démarche nous a permis de déterminer si les entreprises multinationales qui adoptent des programmes de mobilité internationale similaires partagent une même orientation stratégique au niveau international ou plutôt d’autres caractéristiques. Notre étude, effectuée auprès de professionnels de la GRH responsables de la gestion de la mobilité internationale, visait, dans un premier temps, à identifier le type de stratégie internationale privilégiée par les entreprises, ainsi que l’approche de la gestion internationale des ressources humaines qu’elles favorisent. Dans un deuxième temps, nous avons cherché à identifier le type de programme de mobilité internationale en place dans chaque entreprise à partir de l’analyse de leurs composantes (politiques et pratiques RH). Nous avons tiré deux conclusions principales de notre étude. Premièrement, la mobilité internationale, plus particulièrement l’expatriation, constitue toujours un important outil d’expansion et de survie des entreprises multinationales. Deuxièmement, les entreprises multinationales l’utilisent différemment en fonction de leurs objectifs stratégiques et la gèrent de façon très pragmatique, en tenant compte d’une panoplie de facteurs tels le nombre d’expatriés, la culture managériale de l’entreprise, les caractéristiques de leur secteur d’activité, leur expérience et les difficultés rencontrées en cours de route.