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.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

La méthadone permet-elle de sortir du monde de la drogue? : points de vue de personnes inscrites aux programmes de substitution

Deux paradigmes se côtoient dans le traitement de la dépendance au Québec. Tout d’abord, il y a le paradigme de l’abstinence avec un modèle d’intervention souvent basé sur les Alcooliques Anonymes. Avec ce modèle, l’alcoolisme (ou la toxicomanie) est défini comme une maladie. En ce qui a trait à la réduction des méfaits, cette dernière vise la réduction des effets néfastes de l’usage de drogues plutôt que l’élimination de leur usage (Brisson, 1997). Nous nous sommes intéressés à une intervention inscrite dans ce paradigme soit le programme de substitution à la méthadone. Cette étude avait comme but de connaître les perceptions de personnes inscrites à ce programme, comprendre comment est vécu le rétablissement à travers la participation au programme et connaître les perceptions de ces personnes en ce qui a trait aux conséquences de la dépendance. Un cadre théorique s’inscrivant dans la perspective de l’interactionnisme symbolique a été choisi. Plus précisément, les processus de transformations normatives de Maria Caiata Zufferey, la théorie de l’étiquetage d’Howard Becker et le concept de stigmate d’Erving Goffman ont été retenus. Ensuite, dix entrevues semi-dirigées auprès d’hommes et de femmes majeures inscrites à un programme de substitution à la méthadone ont été réalisées. En ce qui a trait au chapitre portant sur les résultats, il a mis en lumière différents rapports à la méthadone vécus par les participants. Pour ce faire, trois figures construites à l’aide de l’analyse typologique ont été développées. Il ressort que pour certaines personnes, la méthadone fut décrite comme un substitut nécessaire, pour d’autres, elle correspondait à une aide dont ils veulent se débarrasser et pour une minorité, elle suscitait de l’ambivalence. En définitive, bien que la substitution demeure le traitement de choix pour la dépendance aux opioïdes, il est difficile de parler de sortie du monde de la drogue à l’aide de la méthadone puisque ce traitement apparaît comme étant presque aussi stigmatisé que la dépendance à l’héroïne (Lauzon, 2011). À première vue, la méthadone permet de prendre une distance avec le monde de la drogue (l’argent facile, les vols, la prostitution) et permet de se reconstruire une existence sur la base de repères stables, mais à bien considérer les choses, elle confine les personnes interrogées dans une situation d’ambivalence puisqu’elle les rattache à une identité de toxicomane. Mots-clés : dépendance, programme de substitution à la méthadone, perception, participant, réduction des méfaits, stigmatisation.

An exploration of the cases referred to victim-offender mediation within the framework of the juvenile justice system

Ce mémoire de maîtrise cherche à jeter un regard approfondi sur les cas des jeunes contrevenants référés au processus de médiation à Trajet, un organisme de justice alternative à Montréal. Plus précisément, les objectifs sont de décrire les caractéristiques des cas référés, d’explorer leur relation avec la participation au processus de médiation et avec le résultat de celui-ci, et de comparer ces mêmes éléments en regard de deux périodes inclues dans le projet : celle où s’appliquait la Loi sur les jeunes contrevenants et celle où la Loi sur le système de justice pénale pour les adolescents assortie de l’Entente cadre sont entrés en vigueur. Des méthodes de recherche quantitatives ont été utilisées pour analyser les cas référés à Trajet sur une période de 10 ans (1999-2009). Des analyses descriptives ont permis d’établir les caractéristiques communes ou divergentes entre les cas référés à Trajet et ceux référés à d’autres programmes de médiation. Des analyses bi-variées ont révélé qu’une relation significative existait entre la participation au processus de médiation et l’âge et le sexe des contrevenants, le nombre de crimes commis par ceux-ci, le nombre de victimes impliquées, le type de victime, l’âge et le sexe des victimes et, le délai entre la commission du crime et le transfert du dossier à Trajet. La réalisation d’une régression logistique a révélé que trois caractéristiques prédisent de manière significative la participation à la médiation : l’âge des contrevenants, le nombre de victimes impliquées et le délai entre la commission du crime et le transfert du dossier à Trajet. La faible proportion d’échecs du processus de médiation a rendu inutile la réalisation d’analyses bi et multi-variées eu égard au résultat du processus de médiation. Des différences significatives ont été trouvées entre les cas référés en médiation sous la Loi sur les jeunes contrevenants et ceux référés sous la Loi sur le système de justice pénale pour les adolescents assortie à l’Entente cadre en ce qui a trait au type de crime, au nombre de délits commis, à l’existence d’une référence précédente à Trajet, aux raisons pour lesquelles la médiation n’a pas eu lieu, à la restitution sous toutes ces formes et, plus spécialement, la restitution financière. La participation à la médiation est apparue plus probable sous la LSJPA que sous la LJC. Des corrélations partielles ont montré que différentes caractéristiques étaient associées à la participation à la médiation dans les deux périodes en question. Seule une caractéristique, le sexe des victimes, s’est avérée reliée significativement à la participation à la médiation tant sous la LJC que sous la LSJPA. Les résultats de ce projet ont donné lieu à une connaissance plus approfondie des cas référés à Trajet pour un processus de médiation et à une exploration de l’impact que la LSJPA et l’Entente cadre sur ce processus. Toutefois, l’échantillon étant limité au cas traités à Trajet ne permet pas la généralisation de ces résultats à l’ensemble des cas référés aux organismes de justice alternative du Québec pour le processus de médiation.

Development and testing of an analytical framework for immunization program planning in Canada

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

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

Rapport de recherche

A Systematic Framework for Analyzing the Dynamic Effects of Permanent and Transitory Shocks.

This paper proposes a systematic framework for analyzing the dynamic effects of permanent and transitory shocks on a system of \"n\" economic variables.

Political Influence, Economic Interests and Endogenous Tax Structure in a Computable Equilibrium Framework: with Applicatioon to the United States, 1973 and 1983

A full understanding of public affairs requires the ability to distinguish between the policies that voters would like the government to adopt, and the influence that different voters or group of voters actually exert in the democratic process. We consider the properties of a computable equilibrium model of a competitive political economy in which the economic interests of groups of voters and their effective influence on equilibrium policy outcomes can be explicitly distinguished and computed. The model incorporates an amended version of the GEMTAP tax model, and is calibrated to data for the United States for 1973 and 1983. Emphasis is placed on how the aggregation of GEMTAP households into groups within which economic and political behaviour is assumed homogeneous affects the numerical representation of interests and influence for representative members of each group. Experiments with the model suggest that the changes in both interests and influence are important parts of the story behind the evolution of U.S. tax policy in the decade after 1973.

A maximum likelihood framework for protein design

Affiliation: Claudia Kleinman, Nicolas Rodrigue & Hervé Philippe : Département de biochimie, Faculté de médecine, Université de Montréal

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