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.

Academic and social adjustment of teenagers in social rehabilitation : the role of intrinsic need satisfaction and autonomy support

Les études antérieures ont démontré les bénéfices de la satisfaction des besoins intrinsèques et du soutien à l’autonomie dans le domaine de l’éducation. Or, l’applicabilité des tenants principaux de la Théorie de l’Auto-Détermination (TAD; Deci & Ryan, 2000) n’a pas été investiguée auprès d’une population clinique d’adolescents. L’objectif de cette thèse doctorale est de faire la lumière sur la façon dont l'adaptation scolaire et sociale peut être favorisée par les agents de socialisation dans le contexte de la réadaptation sociale. Cette thèse est composée de deux études s’intéressant à l’application des tenants clés de la TAD auprès de deux échantillons d’adolescents vivant des problèmes d’adaptation et recevant des services d’éducation spécialisée et de réadaptation sociale. Les relations entre les concepts motivationnels de base sont étudiés afin de déterminer si, comme la TAD le propose, la satisfaction des besoins intrinsèques des jeunes peut être soutenue par le style interpersonnel des agents de socialisation (c.-à-d., le soutien à l’autonomie, l’implication et la structure). Il est aussi vérifié si ces concepts motivationnels améliorent la motivation ainsi que d’autres conséquences qui résultent de leur expérience, proposées par la TAD. La première étude a évalué si le style interpersonnel des enseignants peut favoriser la satisfaction des besoins des élèves, leur style de motivationl, tout comme leur ajustement scolaire. Les élèves en difficulté d’adaptation (N = 115) inscrits aux écoles internes des Centres de Réadaptation en raison de leurs problématiques émotionnelles et comportementales ont rempli les questionnaires à deux reprises, au début et à la fin de l’année scolaire. Les analyses de modèles d’équations structurelles révèlent que l’augmentation du soutien à l’autonomie et de l’implication (mais pas de la structure) des enseignants pendant l’année est associée à une augmentation de la satisfaction des besoins des élèves qui, conséquemment, conduit à une motivation scolaire plus auto-déterminée et à une diminution d’intentions de décrochage à la fin de l’année scolaire. De plus, l’amélioration de la satisfaction des besoins mène directement à une meilleure expérience affective à l’école. La deuxième étude consiste en une recherche expérimentale conduite auprès d’adolescentes en difficulté d’adaptation (N = 29). Le devis expérimental a permis de comparer l’impact de la présence (c. absence) du soutien à l’autonomie sur l’internalisation d’une tâche et sur les conséquences motivationnelles et expérientielles des jeunes. La tâche, fastidieuse mais importante, consistait à de la résolution de problèmes interpersonnels (activité clinique). Les résultats suggèrent qu’un style interpersonnel soutenant l’autonomie a augmenté la motivation auto-déterminée, la perception de la valeur de la tâche et son appréciation, ainsi que diminué les affects négatifs comparativement à la condition sans soutien à l’autonomie. Les résultats sont discutés en lien avec les implications théoriques et pratiques d’étendre la portée de la TAD à une population clinique d’adolescents aux prises avec des difficultés d’adaptation.

De l’immersion à l’engagement, la perspective des concepteurs de jeux vidéo sur l’expérience de jeu

De nos jours, la notion d’immersion est largement utilisée, voire galvaudée, par l’industrie du jeu vidéo pour décrire les nouvelles expériences de jeu vécues par les joueurs, notamment lorsqu’ils utilisent des contrôleurs de mouvement. Il est donc intéressant de comprendre comment cette notion s’insère dans le processus de conception des jeux vidéo et comment les concepteurs de jeux vidéo mobilisent cette notion. Pour essayer de comprendre comment les concepteurs de jeux vidéo conçoivent leurs expériences de jeu dans ce contexte, nous avons réalisé une série de cinq entrevues avec des concepteurs de la région montréalaise. Nous avons porté une attention particulière à recueillir le discours de concepteurs indépendants et de concepteurs œuvrant dans de grands studios afin d’obtenir une diversité dans le type d’approches. Nous avons relevé que les concepteurs de jeux vidéo sont loin de partager la même définition de la notion d’immersion. Qui plus est, cette notion n’est souvent pas directement mobilisée par les concepteurs. En effet, les résultats de notre recherche ont démontré que les concepteurs recherchent plutôt à intéresser les joueurs par des stratégies d’engagements plutôt que de les « immerger ». Selon nos concepteurs, un joueur engagé signifie qu’il éprouve un plaisir sincère dans l’acte même de jouer.

Derrida et Bergson : dialogue médiat sur la question de l'immédiat

Si le rapport entre Derrida et Bergson n’a pas fait l’objet de nombreuses études, les commentaires existants témoignent à peu près tous d’une vision commune : entre les deux philosophes, les divergences peuvent être atténuées, voire dissoutes, par la considération de convergences plus fondamentales. Les pages qui suivent seront l’occasion pour nous de faire contrepoids à cette vulgate interprétative. Sans nier l’existence de points de contact entre Derrida et Bergson, nous voudrions en effet montrer qu’un important désaccord subsiste entre eux au sujet de la possibilité de l’intuition. Alors que Derrida met en cause les doctrines intuitionnistes, Bergson érige l’intuition en méthode philosophique. Le présent mémoire prendra pour fil conducteur les motifs de cette discorde. Réduit à sa plus simple expression, l’objectif que nous y poursuivrons sera de montrer que les pensées bergsonienne et derridienne, lorsque mises en dialogue, révèlent un désaccord partiel qui permet de réfléchir de façon féconde sur la possibilité de l’intuition. Pour être plus exact, nous caresserons ici une triple ambition : i/ cerner étroitement l’objet du litige entre Derrida et Bergson, trop peu souligné par les commentateurs, et dont nous montrons qu’il s’articule à une entente partielle ; ii/ tirer au clair les diverses raisons qui amènent l’un à s’en prendre à l’intuition, l’autre à embrasser la méthode intuitive ; iii/ établir que certains arguments de Bergson, bien qu’ils connaissent un regain d’intérêt depuis quelques années, paraissent lacunaires lorsqu’on les confronte à différentes objections.

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.

Habitat variability and the individual variability of juvenile Atlantic salmon (Salmo salar)

La variabilité spatiale et temporelle de l’écoulement en rivière contribue à créer une mosaïque d’habitat dynamique qui soutient la diversité écologique. Une des questions fondamentales en écohydraulique est de déterminer quelles sont les échelles spatiales et temporelles de variation de l’habitat les plus importantes pour les organismes à divers stades de vie. L’objectif général de la thèse consiste à examiner les liens entre la variabilité de l’habitat et le comportement du saumon Atlantique juvénile. Plus spécifiquement, trois thèmes sont abordés : la turbulence en tant que variable d’habitat du poisson, les échelles spatiales et temporelles de sélection de l’habitat et la variabilité individuelle du comportement du poisson. À l’aide de données empiriques détaillées et d’analyses statistiques variées, nos objectifs étaient de 1) quantifier les liens causaux entre les variables d’habitat du poisson « usuelles » et les propriétés turbulentes à échelles multiples; 2) tester l’utilisation d’un chenal portatif pour analyser l’effet des propriétés turbulentes sur les probabilités de capture de proie et du comportement alimentaire des saumons juvéniles; 3) analyser les échelles spatiales et temporelles de sélection de l’habitat dans un tronçon l’été et l’automne; 4) examiner la variation individuelle saisonnière et journalière des patrons d’activité, d’utilisation de l’habitat et de leur interaction; 5) investiguer la variation individuelle du comportement spatial en relation aux fluctuations environnementales. La thèse procure une caractérisation détaillée de la turbulence dans les mouilles et les seuils et montre que la capacité des variables d’habitat du poisson usuelles à expliquer les propriétés turbulentes est relativement basse, surtout dans les petites échelles, mais varie de façon importante entre les unités morphologiques. D’un point de vue pratique, ce niveau de complexité suggère que la turbulence devrait être considérée comme une variable écologique distincte. Dans une deuxième expérience, en utilisant un chenal portatif in situ, nous n’avons pas confirmé de façon concluante, ni écarté l’effet de la turbulence sur la probabilité de capture des proies, mais avons observé une sélection préférentielle de localisations où la turbulence était relativement faible. La sélection d’habitats de faible turbulence a aussi été observée en conditions naturelles dans une étude basée sur des observations pour laquelle 66 poissons ont été marqués à l’aide de transpondeurs passifs et suivis pendant trois mois dans un tronçon de rivière à l’aide d’un réseau d’antennes enfouies dans le lit. La sélection de l’habitat était dépendante de l’échelle d’observation. Les poissons étaient associés aux profondeurs modérées à micro-échelle, mais aussi à des profondeurs plus élevées à l’échelle des patchs. De plus, l’étendue d’habitats utilisés a augmenté de façon asymptotique avec l’échelle temporelle. L’échelle d’une heure a été considérée comme optimale pour décrire l’habitat utilisé dans une journée et l’échelle de trois jours pour décrire l’habitat utilisé dans un mois. Le suivi individuel a révélé une forte variabilité inter-individuelle des patrons d’activité, certains individus étant principalement nocturnes alors que d’autres ont fréquemment changé de patrons d’activité. Les changements de patrons d’activité étaient liés aux variables environnementales, mais aussi à l’utilisation de l’habitat des individus, ce qui pourrait signifier que l’utilisation d’habitats suboptimaux engendre la nécessité d’augmenter l’activité diurne, quand l’apport alimentaire et le risque de prédation sont plus élevés. La variabilité inter-individuelle élevée a aussi été observée dans le comportement spatial. La plupart des poissons ont présenté une faible mobilité la plupart des jours, mais ont occasionnellement effectué des mouvements de forte amplitude. En fait, la variabilité inter-individuelle a compté pour seulement 12-17% de la variabilité totale de la mobilité des poissons. Ces résultats questionnent la prémisse que la population soit composée de fractions d’individus sédentaires et mobiles. La variation individuelle journalière suggère que la mobilité est une réponse à des changements des conditions plutôt qu’à un trait de comportement individuel.

La résilience des familles endeuillées par le suicide d'un adolescent : émerger malgré la blessure indélébile

Cette étude vise à comprendre et à expliquer la résilience des familles endeuillées par le suicide d’un adolescent . Lorsque le suicide d’un adolescent survient, comme il s’agit d’une mort violente, inattendue, auto-infligée et qu’elle ne s’inscrit pas dans l’ordre normal de la vie, la famille est confrontée à une situation de crise qui nécessite, de sa part, une mobilisation importante d’énergie. On remarque que, malgré cette épreuve, la plupart des familles continuent à fonctionner. Le concept de résilience familiale qui fait référence à la capacité d’une famille de rebondir face à une situation de crise peut expliquer ce phénomène. C’est pourquoi le but de cette étude a été de proposer une théorie du processus de résilience à partir de ce que vivent les familles endeuillées par le suicide de leur adolescent. Le modèle McGill en soins infirmiers constitue la toile de fond théorique compte tenu de sa vision familiale, de sa croyance dans les forces de la famille et de l’importance du rôle de collaboration des infirmières. Pour atteindre le but de notre étude, une approche par théorisation ancrée, inspirée de la vision straussienne, a été choisie. L’échantillonnage théorique a été constitué de données obtenues à l’aide : d’entrevues semi structurées (13) avec les membres de sept familles rencontrés soit de façon individuelle, en couple ou en groupe (n=17 participants); de documents personnels remis par les participants (journal intime, homélie …); d’un questionnaire sociodémographique; et de notes de terrain. Une analyse comparative continue des données à travers une triple codification a permis de proposer une théorisation en profondeur du processus de résilience familiale suite au suicide d’un adolescent. Les principaux résultats indiquent que, dans un premier temps, la famille est confrontée à un cataclysme engendré par le suicide lui-même et influencé par le contexte familial, le contexte social et les émotions vécues. S’ensuit une période de naufrage plus ou moins importante compte tenu des bouées de sauvetage présentes au sein et dans l’entourage des familles. La présence de ces bouées intra et extrafamiliales permet un rebondissement plus ou moins rapide des familles. Par la suite, différentes actions intra et extrafamiliales permettent aux familles d’émerger malgré cette blessure indélébile, c’est-à-dire apprendre et grandir à travers cette expérience. L’analyse a également permis de dégager quatre types de résilience familiale selon que le rebondissement est rapide ou tardif et que l’émergence est continue ou non, soit le processus de résilience des familles énergiques centrifuge et centripète, de la famille stupéfaite, de la famille combattante et de la famille tenace. Cette étude permet d’approfondir la compréhension du vécu des familles endeuillées par le suicide d’un adolescent et d’aider les professionnels de la santé à mieux adapter leurs interventions en fonction des besoins des familles, des bouées de sauvetage présentes et des actions susceptibles de favoriser leur émergence.

La médiation musicale. Le cas de la note de programme et de l'intervention orale

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

Reconnaissance sociale et intégration des immigrants en milieu rural: le cas du Haut-Lac-Saint-Jean

Les politiques provinciales en matière d'immigration au Québec s'orientent depuis quelques décennies vers la régionalisation des personnes immigrantes, afin de faire bénéficier aux milieux régionaux et ruraux des avantages de leur présence. La présente étude examine, dans une perspective ethnographique, comment s'articulent les liens entre la reconnaissance sociale démontrée par les Québécois originaires du Haut-Lac-Saint-Jean envers les immigrants qui s'y établissent, et l'intégration de ces derniers à leur nouvelle communauté d'accueil. À travers une recension des variations de l'expérience de l'altérité observées dans le milieu, l'étude révèle les conditions d'émergence de la reconnaissance et les facteurs qui la freinent.

Evaluating Design Decay during Software Evolution

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues dans le code. Lorsque ces logiciels évoluent, leurs architectures ont tendance à se dégrader avec le temps et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. Elles deviennent plus complexes et plus difficiles à maintenir. Dans certains cas, les développeurs préfèrent refaire la conception de ces architectures à partir du zéro plutôt que de prolonger la durée de leurs vies, ce qui engendre une augmentation importante des coûts de développement et de maintenance. Par conséquent, les développeurs doivent comprendre les facteurs qui conduisent à la dégradation des architectures, pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent leur dégradation. La dégradation des architectures se produit lorsque des développeurs qui ne comprennent pas la conception originale du logiciel apportent des changements au logiciel. D'une part, faire des changements sans comprendre leurs impacts peut conduire à l'introduction de bogues et à la retraite prématurée du logiciel. D'autre part, les développeurs qui manquent de connaissances et–ou d'expérience dans la résolution d'un problème de conception peuvent introduire des défauts de conception. Ces défauts ont pour conséquence de rendre les logiciels plus difficiles à maintenir et évoluer. Par conséquent, les développeurs ont besoin de mécanismes pour comprendre l'impact d'un changement sur le reste du logiciel et d'outils pour détecter les défauts de conception afin de les corriger. Dans le cadre de cette thèse, nous proposons trois principales contributions. La première contribution concerne l'évaluation de la dégradation des architectures logicielles. Cette évaluation consiste à utiliser une technique d’appariement de diagrammes, tels que les diagrammes de classes, pour identifier les changements structurels entre plusieurs versions d'une architecture logicielle. Cette étape nécessite l'identification des renommages de classes. Par conséquent, la première étape de notre approche consiste à identifier les renommages de classes durant l'évolution de l'architecture logicielle. Ensuite, la deuxième étape consiste à faire l'appariement de plusieurs versions d'une architecture pour identifier ses parties stables et celles qui sont en dégradation. Nous proposons des algorithmes de bit-vecteur et de clustering pour analyser la correspondance entre plusieurs versions d'une architecture. La troisième étape consiste à mesurer la dégradation de l'architecture durant l'évolution du logiciel. Nous proposons un ensemble de m´etriques sur les parties stables du logiciel, pour évaluer cette dégradation. La deuxième contribution est liée à l'analyse de l'impact des changements dans un logiciel. Dans ce contexte, nous présentons une nouvelle métaphore inspirée de la séismologie pour identifier l'impact des changements. Notre approche considère un changement à une classe comme un tremblement de terre qui se propage dans le logiciel à travers une longue chaîne de classes intermédiaires. Notre approche combine l'analyse de dépendances structurelles des classes et l'analyse de leur historique (les relations de co-changement) afin de mesurer l'ampleur de la propagation du changement dans le logiciel, i.e., comment un changement se propage à partir de la classe modifiée è d'autres classes du logiciel. La troisième contribution concerne la détection des défauts de conception. Nous proposons une métaphore inspirée du système immunitaire naturel. Comme toute créature vivante, la conception de systèmes est exposée aux maladies, qui sont des défauts de conception. Les approches de détection sont des mécanismes de défense pour les conception des systèmes. Un système immunitaire naturel peut détecter des pathogènes similaires avec une bonne précision. Cette bonne précision a inspiré une famille d'algorithmes de classification, appelés systèmes immunitaires artificiels (AIS), que nous utilisions pour détecter les défauts de conception. Les différentes contributions ont été évaluées sur des logiciels libres orientés objets et les résultats obtenus nous permettent de formuler les conclusions suivantes: • Les métriques Tunnel Triplets Metric (TTM) et Common Triplets Metric (CTM), fournissent aux développeurs de bons indices sur la dégradation de l'architecture. La d´ecroissance de TTM indique que la conception originale de l'architecture s’est dégradée. La stabilité de TTM indique la stabilité de la conception originale, ce qui signifie que le système est adapté aux nouvelles spécifications des utilisateurs. • La séismologie est une métaphore intéressante pour l'analyse de l'impact des changements. En effet, les changements se propagent dans les systèmes comme les tremblements de terre. L'impact d'un changement est plus important autour de la classe qui change et diminue progressivement avec la distance à cette classe. Notre approche aide les développeurs à identifier l'impact d'un changement. • Le système immunitaire est une métaphore intéressante pour la détection des défauts de conception. Les résultats des expériences ont montré que la précision et le rappel de notre approche sont comparables ou supérieurs à ceux des approches existantes.

La conciliation en Colombie

La conciliation, un mécanisme alternatif de résolution des conflits, cherche à la fois à maintenir une relation d'affaires ainsi qu'à raviver la communication et l’équilibre des pouvoirs entre deux parties opposées. Son véritable esprit consiste à faire en sorte que le citoyen récupère son rôle principal dans la solution de ses conflits et qu’il agisse sans l'intervention de l'État. Contrairement aux autres systèmes juridiques, le système juridique colombien donne au conciliateur un pouvoir décisionnel et/ou consultatif dans un cas concret. Aussi, les termes médiation et conciliation sont parfois utilisés comme synonymes. Cependant, ces termes se différencient selon la participation du tiers conciliateur ou médiateur au processus de résolution des conflits. In mediation, the mediator controls the process through different and specific stages: introduction, joint session, caucus, and agreement, while the parties control the outcome. Par ailleurs, même si ce sont des concepts universels grâce aux textes juridiques, ces mécanismes de résolution des conflits demeurent encore méconnus des citoyens. La pratique de la conciliation ne connaît pas de frontières; elle est répandue partout dans le monde. Dans les années 90, les pays d’Amérique latine, plus précisément la Colombie, ont commencé à envisager la possibilité de prendre part dans cette enrichissante expérience grâce aux progrès législatifs et institutionnels qui ont été réalisés en matière de mécanismes alternatifs de résolution des conflits. En matière de conciliation, en Colombie, il y a une grande richesse normative mais les lois, dispersées et difficiles à interpréter, génèrent de l’insécurité et de l’incertitude juridique. De plus, entamer le processus de conciliation se fait de diverses manières, la plus controversée étant sans doute la conciliation préalable obligatoire. Cette méthode imposée a été la cible de diverses critiques. En effet, ces critiques concernent le fait qu’une telle pratique obligatoire enfreint le volontariat, un pilier fondamental de la conciliation. Aussi, le tiers conciliateur, ayant une formation de haut niveau, représente une pièce maîtresse dans le processus de conciliation vu sa grande responsabilité dans le bon déroulement de cette méthode de résolution des conflits.

La symptomatologie dépressive prénatale : une étude comparative des femmes canadiennes et immigrantes à Montréal.

Contexte : Environ 20 % des femmes enceintes présentent un risque élevé de dépression prénatale. Les femmes immigrantes présentent des symptômes dépressifs élevés pendant la grossesse, le début de la période suivant l'accouchement et comme mères de jeunes enfants. Tandis que les disparités ethniques dans la symptomatologie dépressive pendant la grossesse ont été décrites, la combinaison de la longueur du séjour dans le pays d’accueil et la région d'origine sont rarement évalués dans des études qui portent sur la santé des immigrants au Canada. En outre, les études auprès des femmes immigrantes enceintes ont souvent un échantillon de taille qui ne suffit pas pour démêler les effets de la région d'origine et de la durée du séjour sur la santé mentale. De plus, au Canada, presque une femme sur cinq est un immigrant, mais leur santé mentale au cours de la grossesse, les niveaux d'exposition aux facteurs de risque reconnus pour la dépression prénatale et comment leur exposition et la vulnérabilité face à ces risques se comparent à celles des femmes enceintes nés au Canada, sont peu connus. De plus, le processus d'immigration peut être accompagné de nombreux défis qui augmentent le risque de violence subie par la femme. Néanmoins, les preuves existantes dans la littérature sont contradictoires, surtout en ce qui concerne le type de violence évaluée, les minorités ethniques qui sont considérées et l'inclusion de l'état de santé mentale. Objectifs : Tout d'abord, nous avons comparé la santé mentale de femmes immigrantes et les femmes nées au Canada au cours de la grossesse en tenant compte de la durée du séjour et de la région d'origine, et nous avons évalué le rôle des facteurs socio-économiques et du soutien social dans la symptomatologie dépressive prénatale. Deuxièmement, nous avons examiné la répartition des facteurs de risque contextuels de la symptomatologie dépressive prénatale selon le statut d'immigrant et la durée du séjour au Canada. Nous avons ensuite évalué l'association entre ces facteurs de risque et les symptômes de dépression prénataux et ensuite comparé la vulnérabilité des femmes nés au Canada et les femmes immigrantes à ces facteurs de risque en ce qui concerne les symptômes de la dépression prénatale. En troisième lieu, nous avons décrit la prévalence de la violence pendant la grossesse et examiné l'association entre l'expérience de la violence depuis le début de la grossesse et la prévalence des symptômes de la dépression prénatale, en tenant compte du statut d’immigrant. Méthodes : Les données proviennent de l'étude de Montréal sur les différences socio-économiques en prématurité. Les femmes ont été recrutées lors des examens de routine d'échographie (16 à 20 semaines), lors de la prise du sang (8-12 semaines), ou dans les centres de soins prénatals. L’échelle de dépistage Center for Epidemiologic Studies (CES-D) a été utilisée pour évaluer la symptomatologie dépressive à 24-26 semaines de grossesse chez 1495 immigrantes et 3834 femmes nées au Canada. Les niveaux d'exposition à certains facteurs de risque ont été évalués selon le statut d'immigrant et la durée de séjour à l'aide des tests Chi-2 ou test- t. L'échelle de dépistage Abuse Assessment screen (AAS) a été utilisée pour déterminer la fréquence et la gravité de la violence depuis le début de la grossesse. La relation avec l'agresseur a été également considérée. Toutes les mesures d'association ont été évaluées à l'aide de régressions logistiques multiples. Des termes d'interaction multiplicative furent construits entre chacun des facteurs de risque et statut d'immigrant pour révéler la vulnérabilité différentielle entre les femmes nés au Canada et immigrantes. Résultats : La prévalence des symptômes de dépression prénatales (CES-D > = 16 points) était plus élevée chez les immigrantes (32 % [29,6-34,4]) que chez les femmes nées au Canada (22,8 % (IC 95 % [21.4-24.1]). Des femmes immigrantes présentaient une symptomatologie dépressive élevée indépendamment du temps depuis l'immigration. La région d'origine est un fort indice de la symptomatologie dépressive : les prévalences les plus élevées ont été observées chez les femmes de la région des Caraïbes (45 %), de l’Asie du Sud (43 %), du Maghreb (42 %), de l'Afrique subsaharienne (39 %) et de l’Amérique latine (33 %) comparativement aux femmes nées au Canada (22 %) et celle de l'Asie de l’Est où la prévalence était la plus faible (17 %). La susceptibilité de présenter une dépression prénatale chez les femmes immigrantes était attenuée après l’ajustement pour le manque de soutien social et de l'argent pour les besoins de base. En ce qui concerne la durée du séjour au Canada, les symptômes dépressifs ont augmenté avec le temps chez les femmes d’origines européenne et asiatique du sud-est, diminué chez les femmes venant du Maghreb, de l’Afrique subsaharienne, du Moyen-Orient, et de l’Asie de l'est, et ont varié avec le temps chez les femmes d’origine latine et des Caraïbes. Les femmes immigrantes étaient beaucoup plus exposées que celles nées au Canada à des facteurs de risques contextuels indésirables comme la mésentente conjugale, le manque de soutien social, la pauvreté et l'encombrement au domicile. Au même niveau d'exposition aux facteurs de risque, les femmes nées au Canada ont présenté une plus grande vulnérabilité à des symptômes de la dépression prénatale en l'absence de soutien social (POR = 4,14 IC95 % [2,69 ; 6.37]) tandis que les femmes immigrées ont présentées une plus grande vulnérabilité à des symptômes de la dépression prénatale en absence d'argent pour les besoins de base (POR = 2,98 IC95 % [2.06 ; 4,32]). En ce qui concerne la violence, les menaces constituent le type de la violence le plus souvent rapporté avec 63 % qui ont lieu plus d'une fois. Les femmes immigrantes de long terme ont rapporté la prévalence la plus élevée de tous les types de violence (7,7 %). La violence par le partenaire intime a été la plus fréquemment rapportées (15 %) chez les femmes enceintes les plus pauvres. Des fortes associations ont été obtenues entre la fréquence de la violence (plus d'un épisode) et la symptomatologie dépressive (POR = 5,21 [3,73 ; 7,23] ; ainsi qu’entre la violence par le partenaire intime et la symptomatologie dépressive (POR = 5, 81 [4,19 ; 8,08). Le statut d'immigrant n'a pas modifié les associations entre la violence et la symptomatologie dépressive. Conclusion: Les fréquences élevées des symptômes dépressifs observées mettent en évidence la nécessité d'évaluer l'efficacité des interventions préventives contre la dépression prénatale. La dépression chez les femmes enceintes appartenant à des groupes minoritaires mérite plus d'attention, indépendamment de leur durée de séjour au Canada. Les inégalités d’exposition aux facteurs de risque existent entre les femmes enceintes nées au Canada et immigrantes. Des interventions favorisant la réduction de la pauvreté et l'intégration sociale pourraient réduire le risque de la dépression prénatale. La violence contre les femmes enceintes n'est pas rare au Canada et elle est associée à des symptômes de la dépression prénatale. Ces résultats appuient le développement futur du dépistage périnatal de la violence, de son suivi et d'un système d'aiguillage culturellement ajusté.

Impacts and Detection of Design Smells

Les changements sont faits de façon continue dans le code source des logiciels pour prendre en compte les besoins des clients et corriger les fautes. Les changements continus peuvent conduire aux défauts de code et de conception. Les défauts de conception sont des mauvaises solutions à des problèmes récurrents de conception ou d’implémentation, généralement dans le développement orienté objet. Au cours des activités de compréhension et de changement et en raison du temps d’accès au marché, du manque de compréhension, et de leur expérience, les développeurs ne peuvent pas toujours suivre les normes de conception et les techniques de codage comme les patrons de conception. Par conséquent, ils introduisent des défauts de conception dans leurs systèmes. Dans la littérature, plusieurs auteurs ont fait valoir que les défauts de conception rendent les systèmes orientés objet plus difficile à comprendre, plus sujets aux fautes, et plus difficiles à changer que les systèmes sans les défauts de conception. Pourtant, seulement quelques-uns de ces auteurs ont fait une étude empirique sur l’impact des défauts de conception sur la compréhension et aucun d’entre eux n’a étudié l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes. Dans cette thèse, nous proposons trois principales contributions. La première contribution est une étude empirique pour apporter des preuves de l’impact des défauts de conception sur la compréhension et le changement. Nous concevons et effectuons deux expériences avec 59 sujets, afin d’évaluer l’impact de la composition de deux occurrences de Blob ou deux occurrences de spaghetti code sur la performance des développeurs effectuant des tâches de compréhension et de changement. Nous mesurons la performance des développeurs en utilisant: (1) l’indice de charge de travail de la NASA pour leurs efforts, (2) le temps qu’ils ont passé dans l’accomplissement de leurs tâches, et (3) les pourcentages de bonnes réponses. Les résultats des deux expériences ont montré que deux occurrences de Blob ou de spaghetti code sont un obstacle significatif pour la performance des développeurs lors de tâches de compréhension et de changement. Les résultats obtenus justifient les recherches antérieures sur la spécification et la détection des défauts de conception. Les équipes de développement de logiciels doivent mettre en garde les développeurs contre le nombre élevé d’occurrences de défauts de conception et recommander des refactorisations à chaque étape du processus de développement pour supprimer ces défauts de conception quand c’est possible. Dans la deuxième contribution, nous étudions la relation entre les défauts de conception et les fautes. Nous étudions l’impact de la présence des défauts de conception sur l’effort nécessaire pour corriger les fautes. Nous mesurons l’effort pour corriger les fautes à l’aide de trois indicateurs: (1) la durée de la période de correction, (2) le nombre de champs et méthodes touchés par la correction des fautes et (3) l’entropie des corrections de fautes dans le code-source. Nous menons une étude empirique avec 12 défauts de conception détectés dans 54 versions de quatre systèmes: ArgoUML, Eclipse, Mylyn, et Rhino. Nos résultats ont montré que la durée de la période de correction est plus longue pour les fautes impliquant des classes avec des défauts de conception. En outre, la correction des fautes dans les classes avec des défauts de conception fait changer plus de fichiers, plus les champs et des méthodes. Nous avons également observé que, après la correction d’une faute, le nombre d’occurrences de défauts de conception dans les classes impliquées dans la correction de la faute diminue. Comprendre l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes est important afin d’aider les équipes de développement pour mieux évaluer et prévoir l’impact de leurs décisions de conception et donc canaliser leurs efforts pour améliorer la qualité de leurs systèmes. Les équipes de développement doivent contrôler et supprimer les défauts de conception de leurs systèmes car ils sont susceptibles d’augmenter les efforts de changement. La troisième contribution concerne la détection des défauts de conception. Pendant les activités de maintenance, il est important de disposer d’un outil capable de détecter les défauts de conception de façon incrémentale et itérative. Ce processus de détection incrémentale et itérative pourrait réduire les coûts, les efforts et les ressources en permettant aux praticiens d’identifier et de prendre en compte les occurrences de défauts de conception comme ils les trouvent lors de la compréhension et des changements. Les chercheurs ont proposé des approches pour détecter les occurrences de défauts de conception, mais ces approches ont actuellement quatre limites: (1) elles nécessitent une connaissance approfondie des défauts de conception, (2) elles ont une précision et un rappel limités, (3) elles ne sont pas itératives et incrémentales et (4) elles ne peuvent pas être appliquées sur des sous-ensembles de systèmes. Pour surmonter ces limitations, nous introduisons SMURF, une nouvelle approche pour détecter les défauts de conception, basé sur une technique d’apprentissage automatique — machines à vecteur de support — et prenant en compte les retours des praticiens. Grâce à une étude empirique portant sur trois systèmes et quatre défauts de conception, nous avons montré que la précision et le rappel de SMURF sont supérieurs à ceux de DETEX et BDTEX lors de la détection des occurrences de défauts de conception. Nous avons également montré que SMURF peut être appliqué à la fois dans les configurations intra-système et inter-système. Enfin, nous avons montré que la précision et le rappel de SMURF sont améliorés quand on prend en compte les retours des praticiens.

Le plan-séquence chez Kenji Mizoguchi

Cette recherche porte sur le langage cinématographique (ou mode de représentation) adopté par Mizoguchi en contraste avec le style classique hollywoodien. Notre hypothèse est que le refus de Mizoguchi de recourir au découpage classique et au gros-plan procurerait au spectateur une expérience de perception qui tendrait à se rapprocher de celle vécue par un spectateur de théâtre ou le témoin d’une action se déroulant dans notre monde physique. Mizoguchi a débuté son métier au début des années 1920. Le cinéma japonais venait tout juste de prendre la voie d’un art nouveau en quittant son statut de simple captation de spectacles théâtraux. L’industrie cinématographique japonaise était alors en incubation marquée par diverses influences occidentales. Nous nous pencherons plus particulièrement sur les questions stylistiques à partir du moment où le cinéma japonais s’engageait dans le parlant en imitant le style classique hollywoodien. Ce cinéma dominant devenait une norme que Mizoguchi décida de ne pas suivre pour préférer un style caractérisé par des plans-séquences. Ce style plus « neutre » et «objectif » allait être encensé par Bazin après la guerre au moment où ce dernier découvrit notamment Welles et Wyler. À partir de plusieurs extraits filmiques, nous analysons le plan-séquence mizoguchien comme substitution à une série de plans rapprochés qui se serait imposé normalement avec le style classique hollywoodien. Et ce, afin de discuter des enjeux de réalisme et de théâtralité soulevés par Bazin.

Entre refuge et exil : l’expérience de femmes palestiniennes du camp de Bourj El Barajneh

Le conflit israélo-palestinien dure depuis plus de 60 ans. Non seulement perdure-t-il, il gagne aussi en complexité. Cette thèse s’intéresse à l’expérience d’exil des Palestiniens et plus particulièrement à celle de femmes palestiniennes vivant en camp de réfugiés au Liban. La mémoire palestinienne a longtemps été, dans son ensemble, occultée dans la littérature, et qui plus est l’expérience des femmes; la façon dont leurs récits sont construits nous le démontre bien. La présente étude s’inscrit donc dans la lignée de travaux qui font une place aux « voix silencieuses » que sont souvent celles des femmes réfugiées palestiniennes des camps. Cette thèse s’appuie sur une approche qualitative – récits de vie et observation participante – et fait suite à une recherche qui a été menée entre 2009 et 2011 dans le camp palestinien de Bourj El Barajneh au Liban. Les résultats dégagés confirment que, dans l’exil, une partie de l’expérience de la nakba palestinienne telle que vécue par les femmes s’est perdue. Ceci dit, si la quasi-absence des femmes caractérise l’exode, on voit ces dernières s’affirmer au fil de l’exil qui devient une réalité durable. Au cours des deux premières décennies, les femmes apparaissent comme des « résistantes du quotidien ». Puis, la montée du sentiment national palestinien et l’éclatement de la guerre civile libanaise amènent les femmes à investir de plus en plus l’espace public. En temps de guerre, toutes les femmes participent à la survie de la communauté, et cela, par l’extension de leurs tâches domestiques et sociales. Plus le conflit prend de l’ampleur, plus leurs activités se diversifient : elles intègrent d’autres tâches à celles qui leur sont traditionnellement assignées. À l’issue du conflit, une grande partie des femmes palestiniennes commencent à prendre leurs distances de la lutte nationale partisane. Pour plusieurs d’entre elles, la fin de la guerre est aussi la fin des illusions : elles ont le sentiment d’avoir été abandonnées par la classe politique. Ainsi, le mouvement nationaliste palestinien a certes bousculé les rôles de genre, mais il n’a pas permis d’induire des changements durables. Dans les récits des femmes, on voit qu’à travers l’exil s’est créé un lien avec ce milieu que l’on croyait temporaire, le camp de Bourj El Barajneh : un lien qui se situe au cœur d’une tension entre un pôle réel et un pôle symbolique. Le camp « réel » est décrit comme insalubre, instable et non sécuritaire, et la vie dans ce camp est à ce point précaire et difficile que les femmes s’accrochent à cet autre camp qui, lui, est porteur de mémoire, de souvenirs, de relations et de rêves. C’est d’ailleurs parce que ce second pôle existe que la vie dans le camp peut être tolérée. Si la lutte nationale a été pour une certaine génération de Palestiniennes la préoccupation première, la fin de la guerre signe la perte de vitesse de cette lutte qui s’est longtemps avérée structurante. Ceci dit, le modèle de résistance, lui, persiste. Les femmes continuent de lutter et apparaissent comme des « actrices de la transmission ». L’un de ces projets qu’elles font leur, la transmission de l’identité religieuse, prend rapidement de l’ampleur alors que la communauté palestinienne peine à se relever des affres de la guerre. Nombreuses sont les femmes qui cherchent un sens à la vie dans ce cumul de catastrophes, et la religion les soutient dans cette quête, mais en plus c’est à travers elle que le projet du retour en Palestine est porté. D’ailleurs, la mémoire de la Palestine est une autre valeur que les femmes cherchent à transmettre d’une génération à l’autre. Maintenir la mémoire de la Palestine est un rôle traditionnel de la femme palestinienne. Ceci dit, les femmes ne remplissent pas ce rôle « aveuglément » : elles transmettent une mémoire, un message qu’elles ont cherché, reconstruit, évalué et parfois critiqué. Enfin, un autre projet se manifeste rapidement dans l’exil : la transmission des connaissances, une valeur phare pour les Palestiniennes puisque à la fois stratégie de survie, de développement et d’ascension sociale. Mais pour quelques-unes, l’éducation est une lutte parce que confrontée à des contraintes contextuelles et au poids des traditions. Ainsi, c’est par des valeurs traditionnellement portées et transmises par les femmes – l’identité religieuse, la mémoire et l’éducation – que l’oppression et la colonisation des Palestiniens se combattent au quotidien.