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.

Le projet organisant : vers une ontologie du projet d'aménagement

Codirection: Dr. Gonzalo Lizarralde

L’intégration des Nord-Coréens en Corée du Sud : la persistance de la division dans les représentations identitaires

Ce mémoire de maîtrise vise à comprendre la problématique de l’intégration des migrants Nord-Coréens en Corée du Sud à travers l’analyse de la dynamique des relations entre Nord et Sud-Coréens. Les objectifs particuliers sont d’identifier un processus d’ethnicisation dans la nation coréenne, de déterminer la place des cultures nord et sud-coréennes dans l’identité coréenne et de définir la reconfiguration identitaire nécessaire afin d’accéder à la reconnaissance du groupe majoritaire. Un séjour en Corée du Sud a été effectué en septembre 2010 afin de réaliser quatre entrevues avec des Nord-Coréens, en plus de rencontrer les gens travaillant dans des organismes promouvant l’intégration des Nord-Coréens en Corée du Sud. L’analyse des données a permis de comprendre de quelle manière la division de la nation coréenne persiste et comment elle influence le processus d’intégration des Nord-Coréens. En premier lieu, l’appartenance au groupe Hanminjok (nation coréenne) est conférée, mais la mise en relief de « marqueurs culturels » contraint l’accessibilité au groupe majoritaire. Deuxièmement, la présence de discours essentialistes exacerbent des représentations sociales négatives qui entravent l’intégration sociale et symbolique à la société sud-coréenne. Finalement, les résultats démontrent que le manque de liens sociaux entre Nord et Sud-Coréens tient une part importante dans la problématique de l’intégration, en plus de nuire à l’accessibilité au marché du travail ce qui compromet l’intégration économique.

Pauvreté des familles monoparentales. Le Canada et le Québec dans l’univers des régimes providentiels

La pauvreté monoparentale touche de nombreux pays développés au point que la monoparentalité est restée pendant longtemps associée à la pauvreté. Malgré les efforts de l’État-providence, les systèmes de protection sociale s’avèrent souvent inefficaces et inadaptés aux changements de la structure familiale et de la diversité des modes de résidence. Or, les situations des familles monoparentales ne sont pas semblables d’une société à une autre. Certaines sociétés adoptent des régimes providentiels qui offrent des conditions plutôt favorables aux familles quel que soit leur statut (monoparental ou biparental), tandis que d’autres se caractérisent par des systèmes moins égalitaires et moins favorables aux familles monoparentales. Notre thèse cherche à déconstruire le lien entre la pauvreté et la monoparentalité en poussant plus loin la réflexion sur les régimes providentiels. Le bien-être des familles monoparentales dépend des arrangements institutionnels des régimes qui assurent des ressources à travers les trois piliers que sont l’État, le marché et la famille. Certaines sociétés favorisent le pilier de l’État comme principal pourvoyeur de ressources alors que d’autres mettent l’accent sur le marché. Dans d’autres cas, la solidarité familiale est considérée comme étant fondamentale dans le bien-être des individus. Parmi ces trois piliers, il est souvent difficile de trouver la combinaison la plus appropriée pour protéger les familles monoparentales et leur assurer une certaine sécurité et une autonomie économique. Lorsque les gouvernements adoptent la politique de prise en charge des familles monoparentales, ces dernières deviennent très dépendantes de l’assistance sociale et des programmes d’aide publique. Dans un contexte libéral, les mesures d’incitation au travail qui visent les chefs de famille monoparentale ont plutôt tendance à réduire cette dépendance. Mais dans bien des cas, les familles monoparentales sont amenées à dépendre d’un revenu du marché qui ne les aide pas toujours à sortir de la pauvreté. Lorsque nous regardons le troisième pilier, celui de la famille, il s’avère souvent que les solidarités qui proviennent de cette source sont limitées et occasionnelles et nécessitent parfois une réglementation spéciale pour les dynamiser (comme c’est le cas des pensions alimentaires). L’articulation de ces piliers et leur apport au bien-être des familles monoparentales soulève une question fondamentale : Quelles sont les possibilités pour les chefs de famille monoparentale de fonder et maintenir un ménage autonome qui ne soit ni pauvre ni dans la dépendance par rapport à une seule source de revenu qui peut provenir de l’État, du marché ou de la famille ? Pour examiner cette question, nous avons procédé à des comparaisons internationales et interprovinciales à partir des données du Luxembourg Income Study (LIS). Le choix des comparaisons internationales est très utile pour situer le Québec dans un environnement de régimes providentiels avec un cadre théoriquement et conceptuellement structuré pour comprendre les politiques de lutte contre la pauvreté monoparentale. Cette recherche montre principalement que la pauvreté monoparentale est très problématique dans les régimes qui privilégient le marché comme principal pilier de bien-être. Elle l’est aussi dans certains pays qui privilégient les transferts et adoptent des politiques de prise en charge envers les familles monoparentales qui restent largement désavantagées par rapport aux familles biparentales. Par contre, certains régimes favorisent une complémentarité entre ce que peuvent tirer les familles du marché du travail et ce qu’elles peuvent tirer des ressources de l’État. Généralement, ce genre d’approche mène vers des taux de pauvreté plus faibles chez les familles monoparentales. Le Québec fait partie des sociétés où le marché représente une source fondamentale de bien-être. Toutefois, la pauvreté monoparentale est moins problématique que chez ses voisins d’Amérique du Nord. De nombreux chefs de famille monoparentale dans la province occupent des emplois à temps plein sans être désavantagés. Cependant, les chefs de famille monoparentale qui occupent des emplois à temps partiel sont largement plus exposés à la pauvreté. Pourtant, dans certaines sociétés, particulièrement aux Pays-Bas, ce statut d’emploi offre des conditions meilleures pour la conciliation travail-famille.

L'identité européenne : un développement progressif par la citoyenneté et la Charte des droits fondamentaux de l'Union européenne

Thèse de doctorat effectuée en cotutelle avec la Faculté de droit de l'Université Jean Moulin Lyon III

Des relations entre les structures musicales et les contextes sociaux dans un répertoire de "sessions" instrumentales irlandaises

La version intégrale de ce mémoire [ou de cette thèse] est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU)

Implication du CYP2D6 dans la pharmacodynamie et la pharmacogénomique de l’oxycodone

La variabilité interindividuelle dans la réponse aux médicaments constitue une problématique importante pouvant causer des effets indésirables ou l’échec d’un traitement. Ces variabilités peuvent être causées par une diminution de l’activité de l’enzyme responsable du métabolisme de certains médicaments, fréquemment les cytochromes P450, un système enzymatique majeur dans le métabolisme de ces derniers. Ces enzymes sont sujets à des mutations génétiques appelées polymorphismes, qui altèrent l’activité métabolique. Il est donc important d’évaluer le rôle de ces enzymes dans le métabolisme des médicaments afin d’identifier leur responsabilité dans la variabilité interindividuelle de la réponse au traitement. Parmi l’important système enzymatique que représentent les cytochromes P450, l’isoenzyme CYP2D6 est particulièrement étudiée, ses variations métaboliques revêtant une haute importance clinique. L’un des substrats du CYP2D6 est l’oxycodone, un analgésique narcotique largement prescrit en clinique. Une grande variabilité est observée dans la réponse analgésique à l’oxycodone, variabilité pouvant être causée par un polymorphisme génétique. Il est connu que des variations génétiques dans le CYP2D6 compromettent la réponse analgésique à la codéine en rendant moins importante la formation de son métabolite actif, la morphine. Par analogie, plusieurs études supportent l’hypothèse selon laquelle le métabolite oxymorphone, formée par l’isoenzyme CYP2D6, serait responsable de l’analgésie de l’oxycodone. Une déficience génétique de l’enzyme compromettrait la réponse analgésique au médicament. Les travaux effectués dans le cadre de ce mémoire ont démontré que l’inhibition du CYP2D6 chez des sujets volontaires réduit de moitié la production d’oxymorphone, confirmant l’importante implication de l’enzyme dans le métabolisme de l’oxycodone. Ces résultats démontrent une forte ressemblance avec le métabolisme de la codéine, suggérant que l’oxymorphone pourrait être responsable de l’analgésie. Cependant, les travaux effectués n’ont pu établir de relation entre la concentration plasmatique d’oxymorphone et le niveau d’analgésie ressenti par les sujets. La continuation des études sur le mécanisme d’action de l’oxycodone dans la réponse analgésique est essentielle afin d’établir la source des variabilités interindividuelles expérimentées par les patients et ainsi d’éviter des effets secondaires ou lacunes dans le traitement.

Je (ne) suis (pas) Antigone : les filles et le tragique dans Ça va aller et Fleurs de crachat de Catherine Mavrikakis

Ce mémoire porte sur les romans Ça va aller et Fleurs de crachat de Catherine Mavrikakis. Il s’appuie sur une réappropriation ambigüe de la figure d’Antigone afin d’en questionner les répercussions sur l’expression identitaire des narratrices et sur le désir prophétique qu’elles nourrissent à l’égard d’une filiation au féminin. Il est divisé en deux chapitres : le premier portant sur la façon dont se manifeste l’héritage d’Antigone ainsi que sur son inscription problématique tant dans l’histoire littéraire que dans les romans de Mavrikakis, tandis que le second s’intéresse à la manière dont y est dépassé cet héritage par le travail d’une langue excessive et le choix d’une posture « cannibale et mélancolique ». Puis, au-delà des questions de transmission, d’héritage et de filiation, nous montrerons à partir des marques laissées par un féminisme radical que c’est à la communauté des filles d’Antigone qu’est destinée la possibilité d’être (in)fidèles au tragique en portant avec violence l’espoir de réinventer le futur, certes, mais surtout de rompre avec lui.

L'exception exemplaire : une histoire de la notion de génie du XVIe au XVIIIe siècle

Cette thèse montre comment s’est constituée la figure du génie en France au cours des XVIe, XVIIe et XVIIIe siècles, en mettant en évidence les paradoxes qui lui ont permis de devenir l’une des notions fondamentales de la modernité. Cette analyse s’articule autour de trois axes principaux. D’abord, il s’agit d’interroger les circonstances de l’invention du terme « génie » dans la langue française, en insistant sur son bagage culturel gréco-latin. La notion de génie apparaît alors comme intimement liée au génie de la langue française et à son histoire. Ensuite, l’analyse s’intéresse au rôle que la notion de génie joue dans le cadre régulateur de la théorie poétique à la fin du XVIIe siècle. Le génie, qui se définit alors comme une aptitude naturelle à l’exercice d’une régularité normée du faire, n’a cependant de valeur que si cette régularité est transgressée, dépassée. Cette relation fait apparaître le paradoxe social que représente le génie, considéré à la fois comme exceptionnel et exemplaire. Ce paradoxe du génie est ensuite analysé dans le cadre du développement des théories esthétiques au XVIIIe siècle, fondées sur une expérience communautarisante du beau. Cette problématique est étudiée au regard de l’intérêt des philosophes sensualistes pour le problème que constitue le génie, en particulier quant aux mécanismes de l’invention et de la découverte. À l’issue de ce parcours, il apparaît que le génie est à la fois problématique pour les théories qui tentent de le circonscrire et unificateur pour la communauté qu’il permet d’illustrer.

Harmonisation des langues africaines transfrontalières par les TIC pour un enseignement-apprentissage plus efficient : le cas du Peul

Cette thèse s'inscrit dans le cadre de l'harmonisation des langues africaines transfrontalières à tradition écrite émergente au moyen des Technologies de l’information et de la communication.

Conception, synthèse et diversification de l'azaGly-Pro : un mime de tour beta, outil d'étude structure-activité : application au développement d'un nouvel agent tocolytique

Les accouchements prématurés constituent un problème médical majeur en constante augmentation et ce, malgré tous les efforts mis en œuvre afin de contrer le déclenchement des contractions avant terme. Cette thèse relate du ''design'' rationnel d'un nouvel agent thérapeutique (i.e., tocolytique) qui serait capable de 1) arrêter les contractions, et 2) prolonger la gestation. Pour ce faire, une nouvelle cible, la prostaglandine F2α et son récepteur ont été sélectionnés et le peptidomimétisme a été choisi afin de résoudre cette problématique. L'introduction contient un historique rapide de la conception à la synthèse (''drug design'') du peptide parent, le PDC113, premier peptide a avoir démontré des aptitudes tocolytiques suffisantes pour faire du peptidomimétisme. La deuxième partie de l'introduction présente les concepts du peptidomimétisme appliqués au PDC113 qui ont permis d'accéder au PDC113.824, inhibiteur allostérique du récepteur de la prostaglandine F2α, et explique comment ce mime nous a permis d'élucider les mécanismes de signalisation intracellulaire impliqués dans la contraction musculaire lisse. Cette thèse présente la conception, la synthèse et l'étude structure-activité de mimes de repliement de tour β au sein du mime peptidique original (PDC113.824) dans lequel nous avons remplacé l'azabicycloalkane central (l'indolizidin-2-one) par une série d'autres azabicycloalcanes connus et des acides aza-aminés dont nous avons élaboré la synthèse. Dans un premier temps, une nouvelle stratégie de synthèse en solution de l'aza-glycyl-proline à partir de la diphényle hydrazone et du chloroformate de p-nitrophényle a été réalisée. Cette stratégie a permis d'éliminer les réactions secondaires de cyclisation intramoléculaires communément obtenues lors de l'introduction d'acides aza-aminés avec les protections traditionnelles de type carbamate en présence de phosgène, mais aussi de faciliter l'accès en une étape à des dérivés peptidiques du type aza-glycyle. L'élongation de l'aza-glycyl-proline en solution nous a permis d'accéder à un nouveau mime tetrapeptidique du Smac, un activateur potentiel de l'apoptose au sein de cellules cancéreuses. Par la suite, nous avons développé une stratégie de diversification sélective de l'azote α du résidu azaglycine en utilisant différents types d'halogénures d'alkyle en présence de tert-butoxyde de potassium. Afin de valider le protocole d'alkylation de l'aza-dipeptide, différents halogénures d'alkyle ont été testés. Nous avons également démontré l'utilité des aza-dipeptides résultants en tant que ''building block'' afin d'accéder à une variété d'azapeptides. En effet, l'aza-dipeptide a été déprotégée sélectivement soit en N-terminal soit en C-terminal, respectivement. D'autre part, la libération de l'amine de l'ester méthylique de l'aza-alkylglycyl-proline a conduit à une catégorie de composés à potentiel thérapeutique, les azadicétopipérazines (aza-DKP) par cyclisation intramoléculaire. Enfin, notre intérêt quant au développement d'un nouvel agent tocolytique nous a amené à développer une nouvelle voie de synthèse en solution du PDC113.824 permettant ainsi d'élucider les voies de signalisation intracellulaires du récepteur de la prostaglandine F2α. Afin de valider l'importance de la stéréochimie et d'étudier la relation structure/ activité du mime, nous avons remplacé l'indolizidin-2-one (I2aa) centrale du PDC113.824 par une série d'autres azabicycloalcanes et azadipeptides. Les azabicycloalcanes D-I2aa, quinolizidinone, et indolizidin-9-one ont été synthétisés et incorporés au sein du dit peptide ne donnant aucune activité ni in vitro ni ex vivo, validant ainsi l'importance du tour β de type II' pour le maintien de l'activité biologique du PDC113.824. Finalement, l'insertion d'une série de dérivés aza(alkyl)glycyl-prolyles a mené à de nouveaux inhibiteurs allostériques du récepteur de la PGF2α, l'un contenant l'azaglycine et l'autre, l'azaphénylalanine. Cette thèse a ainsi contribué, grâce à la conception et l'application de nouvelles méthodes de synthèse d'aza-peptides, au développement de nouveaux composés à potentiel thérapeutique afin d'inhiber le travail prématuré.

Vers le haut : la valeur d’usage du toit vert privé : le point de vue de professionnels de l’immobilier œuvrant sur le Plateau Mont-Royal

Cette recherche s’intéresse à la valeur d’usage du toit vert dans l’arrondissement du Plateau Mont-Royal, de la Ville de Montréal. Spécifiquement, elle s’intéresse à l’état problématique qu’est l’étalement urbain en tentant l’estimation de la valeur d’usage du toit vert, de la cour arrière et du balcon-terrasse soutenue par le dispositif argumentaire immobilier propre à chacun des aménagements. L’étalement urbain est la source de graves problèmes et la résorption de ses effets néfastes est devenue une priorité dans l’aménagement du territoire. L’une des principales raisons sousjacentes à l’exode urbain est la valeur d’usage accordée à la parcelle extérieure qu’offre l’habitat unifamilial pavillonnaire. Dans cette situation, la question est de savoir si l’insertion d’espaces verts privés en milieu urbain peut participer à la résorption de l’exode urbain. Or, dans l’agglomération, le sol manque. Le toit vert privé apparaît comme une alternative astucieuse, bien que limitée, au terrain entourant la maison. Reste à savoir si les gens le valorisent tel un espace vert privé d’extrême proximité, à même le sol. À la lueur de l’analyse, il advient que le toit vert ne présente pas de valeur d’usage comparable à celle de la cour arrière dans le contexte observé, précisément parce que leurs publics cibles s’opposent d’emblée. En revanche, le balcon-terrasse et le toit vert semblent être, en fonction des données construites, des aménagements à valeur d’usage comparable.

Logique d'action et quête de sens : le risque en protection de l'enfance

La présente recherche a comme sujet la gestion des risques au cœur de la prise de décision en protection de l’enfance. Elle a comme objectif une meilleure compréhension de la pratique à partir de la construction des logiques d’action déployées par les professionnels ainsi que la réflexion sur le sens qu’ils accordent à leurs actions. Le projet est porté par une posture constructiviste : les professionnels « construisent » la situation problématique de l’enfant à protéger tout comme ils construisent la solution envisagée. C’est à partir de la combinaison entre la réflexivité (Schön; Racine; Giddens) et la délibération éthique (Bossé, Morin et Dallaire) que des groupes de discussion impliquant des professionnels de professions et de statuts différents ont été réalisés au Centre jeunesse de l’Estrie. Ces groupes s’inscrivent dans une méthodologie qualitative laissant place aux discours des acteurs et sont accompagnés d’entretiens individuels comme stratégie complémentaire de cueillette de données. Les données ont été explorées à partir d’une analyse de contenu sous trois axes (Van der Maren) : une analyse horizontale (dégager les éléments pertinents à partir d’un cadre de délibération éthique), une analyse verticale (dégager les interactions et les inter-influences dans les groupes de discussion) et une analyse transversale (dégager des noyaux de sens et des logiques d’action à travers les discours). Les résultats permettent d’établir des séquences dans la prise de décision des professionnels à partir desquelles se construisent les logiques d’action. Trois logiques sont dégagées de l’analyse de contenu ⎯ collaborative, délibérative, légaliste ⎯ qui sont appuyées sur plusieurs dimensions regroupées à l’intérieur de trois axes d’intérêt : le rapport au mandat de protection, le rapport à la situation et le rapport au risque. Au-delà des logiques elles-mêmes, les résultats portent également à réfléchir des éléments de processus qui influencent la prise de décision. Ces éléments amènent à explorer et à questionner la posture professionnelle et la conviction, le dialogue et la présence d’espace de traduction ainsi que l’apport de la délibération collective. Au final, la recherche permet de réaffirmer la complexité de la pratique de protection de l’enfance mais elle conduit également à plaider en faveur d’une conscientisation de la pratique. Dégager des logiques d’action procure des clés de réflexivité pour les professionnels les menant à conscientiser leur prise de décision et ainsi accéder

L'entretien motivationnel chez les jeunes faisant partie d'un gang de rue

Rapport de stage présenté à l'école de Criminologie de la Faculté des arts et sciences en vue de l'obtention du grade de Maître ès sciences (M.Sc.) en criminologie.

La question de la sécession du Québec après l’avis consultatif de la CIJ du 22 juillet 2010 relative au Kosovo.

Cette recherche aborde la question de l’avis consultatif de la CIJ sur la conformité au droit international de la déclaration unilatérale d’indépendance relative au Kosovo du 22 juillet 2010 et ses possibles incidences sur la question de la sécession du Québec. Plus précisément, ce mémoire traite de la migration des idées constitutionnelles au sujet des questions d’autodétermination dans les cas kosovar et québécois, en effectuant une analyse comparative des deux situations. Le présent mémoire conclut tout d’abord à un respect du droit international public par la CIJ dans son avis, le Kosovo remplissant les conditions de mise en oeuvre de la sécession remède. Néanmoins, notre recherche conduit à affirmer une impossibilité de transposition de solution du cas kosovar à la problématique québécoise, mais à une possible migration des influences, qui assouplirait la position prise ces dernières années par le Canada, notamment avec la Loi sur la clarté.