Patterns and quality of object-oriented software systems

Lors de ces dix dernières années, le coût de la maintenance des systèmes orientés objets s'est accru jusqu' à compter pour plus de 70% du coût total des systèmes. Cette situation est due à plusieurs facteurs, parmi lesquels les plus importants sont: l'imprécision des spécifications des utilisateurs, l'environnement d'exécution changeant rapidement et la mauvaise qualité interne des systèmes. Parmi tous ces facteurs, le seul sur lequel nous ayons un réel contrôle est la qualité interne des systèmes. De nombreux modèles de qualité ont été proposés dans la littérature pour contribuer à contrôler la qualité. Cependant, la plupart de ces modèles utilisent des métriques de classes (nombre de méthodes d'une classe par exemple) ou des métriques de relations entre classes (couplage entre deux classes par exemple) pour mesurer les attributs internes des systèmes. Pourtant, la qualité des systèmes par objets ne dépend pas uniquement de la structure de leurs classes et que mesurent les métriques, mais aussi de la façon dont celles-ci sont organisées, c'est-à-dire de leur conception, qui se manifeste généralement à travers les patrons de conception et les anti-patrons. Dans cette thèse nous proposons la méthode DEQUALITE, qui permet de construire systématiquement des modèles de qualité prenant en compte non seulement les attributs internes des systèmes (grâce aux métriques), mais aussi leur conception (grâce aux patrons de conception et anti-patrons). Cette méthode utilise une approche par apprentissage basée sur les réseaux bayésiens et s'appuie sur les résultats d'une série d'expériences portant sur l'évaluation de l'impact des patrons de conception et des anti-patrons sur la qualité des systèmes. Ces expériences réalisées sur 9 grands systèmes libres orientés objet nous permettent de formuler les conclusions suivantes: • Contre l'intuition, les patrons de conception n'améliorent pas toujours la qualité des systèmes; les implantations très couplées de patrons de conception par exemple affectent la structure des classes et ont un impact négatif sur leur propension aux changements et aux fautes. • Les classes participantes dans des anti-atrons sont beaucoup plus susceptibles de changer et d'être impliquées dans des corrections de fautes que les autres classes d'un système. • Un pourcentage non négligeable de classes sont impliquées simultanément dans des patrons de conception et dans des anti-patrons. Les patrons de conception ont un effet positif en ce sens qu'ils atténuent les anti-patrons. Nous appliquons et validons notre méthode sur trois systèmes libres orientés objet afin de démontrer l'apport de la conception des systèmes dans l'évaluation de la qualité.

Modelling software quality : a multidimensional approach

Les sociétés modernes dépendent de plus en plus sur les systèmes informatiques et ainsi, il y a de plus en plus de pression sur les équipes de développement pour produire des logiciels de bonne qualité. Plusieurs compagnies utilisent des modèles de qualité, des suites de programmes qui analysent et évaluent la qualité d'autres programmes, mais la construction de modèles de qualité est difficile parce qu'il existe plusieurs questions qui n'ont pas été répondues dans la littérature. Nous avons étudié les pratiques de modélisation de la qualité auprès d'une grande entreprise et avons identifié les trois dimensions où une recherche additionnelle est désirable : Le support de la subjectivité de la qualité, les techniques pour faire le suivi de la qualité lors de l'évolution des logiciels, et la composition de la qualité entre différents niveaux d'abstraction. Concernant la subjectivité, nous avons proposé l'utilisation de modèles bayésiens parce qu'ils sont capables de traiter des données ambiguës. Nous avons appliqué nos modèles au problème de la détection des défauts de conception. Dans une étude de deux logiciels libres, nous avons trouvé que notre approche est supérieure aux techniques décrites dans l'état de l'art, qui sont basées sur des règles. Pour supporter l'évolution des logiciels, nous avons considéré que les scores produits par un modèle de qualité sont des signaux qui peuvent être analysés en utilisant des techniques d'exploration de données pour identifier des patrons d'évolution de la qualité. Nous avons étudié comment les défauts de conception apparaissent et disparaissent des logiciels. Un logiciel est typiquement conçu comme une hiérarchie de composants, mais les modèles de qualité ne tiennent pas compte de cette organisation. Dans la dernière partie de la dissertation, nous présentons un modèle de qualité à deux niveaux. Ces modèles ont trois parties: un modèle au niveau du composant, un modèle qui évalue l'importance de chacun des composants, et un autre qui évalue la qualité d'un composé en combinant la qualité de ses composants. L'approche a été testée sur la prédiction de classes à fort changement à partir de la qualité des méthodes. Nous avons trouvé que nos modèles à deux niveaux permettent une meilleure identification des classes à fort changement. Pour terminer, nous avons appliqué nos modèles à deux niveaux pour l'évaluation de la navigabilité des sites web à partir de la qualité des pages. Nos modèles étaient capables de distinguer entre des sites de très bonne qualité et des sites choisis aléatoirement. Au cours de la dissertation, nous présentons non seulement des problèmes théoriques et leurs solutions, mais nous avons également mené des expériences pour démontrer les avantages et les limitations de nos solutions. Nos résultats indiquent qu'on peut espérer améliorer l'état de l'art dans les trois dimensions présentées. En particulier, notre travail sur la composition de la qualité et la modélisation de l'importance est le premier à cibler ce problème. Nous croyons que nos modèles à deux niveaux sont un point de départ intéressant pour des travaux de recherche plus approfondis.

Justice pour les crimes contre l’humanité et génocides : point de vue et attentes des victimes

Les violations aux droits humains causent des milliers de victimes chaque année, des mécanismes de justice sont élaborés afin de répondre à ces crimes, mais les victimes demeurent peu consultées. Par le biais d’entretiens semi-directifs, cette étude présente le point de vue et les attentes des victimes de crimes contre l’humanité du Cambodge et du Rwanda sur la justice. La justice sociale constitue le cadre théorique de cette étude. Les résultats montrent que la justice pénale est centrale à la définition de la justice. La réparation et la vérité en constituent aussi les éléments essentiels. Toutefois, la capacité des tribunaux à rendre compte de la vérité est critiquée par les répondants créant un écart entre ce qu’elles veulent et ce qu’elles obtiennent. La qualité de la prise de décision et du traitement interpersonnel favorise aussi la perception de justice du point de vue des victimes. Les différentes composantes de la justice perçues, comme la punition, la réparation et la procédure, varient toutefois en fonction du contexte social et historique de la victimisation.

Scheduled service network design for integrated planning of rail freight transportation

Cette thèse étudie une approche intégrant la gestion de l’horaire et la conception de réseaux de services pour le transport ferroviaire de marchandises. Le transport par rail s’articule autour d’une structure à deux niveaux de consolidation où l’affectation des wagons aux blocs ainsi que des blocs aux services représentent des décisions qui complexifient grandement la gestion des opérations. Dans cette thèse, les deux processus de consolidation ainsi que l’horaire d’exploitation sont étudiés simultanément. La résolution de ce problème permet d’identifier un plan d’exploitation rentable comprenant les politiques de blocage, le routage et l’horaire des trains, de même que l’habillage ainsi que l’affectation du traffic. Afin de décrire les différentes activités ferroviaires au niveau tactique, nous étendons le réseau physique et construisons une structure de réseau espace-temps comprenant trois couches dans lequel la dimension liée au temps prend en considération les impacts temporels sur les opérations. De plus, les opérations relatives aux trains, blocs et wagons sont décrites par différentes couches. Sur la base de cette structure de réseau, nous modélisons ce problème de planification ferroviaire comme un problème de conception de réseaux de services. Le modèle proposé se formule comme un programme mathématique en variables mixtes. Ce dernie r s’avère très difficile à résoudre en raison de la grande taille des instances traitées et de sa complexité intrinsèque. Trois versions sont étudiées : le modèle simplifié (comprenant des services directs uniquement), le modèle complet (comprenant des services directs et multi-arrêts), ainsi qu’un modèle complet à très grande échelle. Plusieurs heuristiques sont développées afin d’obtenir de bonnes solutions en des temps de calcul raisonnables. Premièrement, un cas particulier avec services directs est analysé. En considérant une cara ctéristique spécifique du problème de conception de réseaux de services directs nous développons un nouvel algorithme de recherche avec tabous. Un voisinage par cycles est privilégié à cet effet. Celui-ci est basé sur la distribution du flot circulant sur les blocs selon les cycles issus du réseau résiduel. Un algorithme basé sur l’ajustement de pente est développé pour le modèle complet, et nous proposons une nouvelle méthode, appelée recherche ellipsoidale, permettant d’améliorer davantage la qualité de la solution. La recherche ellipsoidale combine les bonnes solutions admissibles générées par l’algorithme d’ajustement de pente, et regroupe les caractéristiques des bonnes solutions afin de créer un problème élite qui est résolu de facon exacte à l’aide d’un logiciel commercial. L’heuristique tire donc avantage de la vitesse de convergence de l’algorithme d’ajustement de pente et de la qualité de solution de la recherche ellipsoidale. Les tests numériques illustrent l’efficacité de l’heuristique proposée. En outre, l’algorithme représente une alternative intéressante afin de résoudre le problème simplifié. Enfin, nous étudions le modèle complet à très grande échelle. Une heuristique hybride est développée en intégrant les idées de l’algorithme précédemment décrit et la génération de colonnes. Nous proposons une nouvelle procédure d’ajustement de pente où, par rapport à l’ancienne, seule l’approximation des couts liés aux services est considérée. La nouvelle approche d’ajustement de pente sépare ainsi les décisions associées aux blocs et aux services afin de fournir une décomposition naturelle du problème. Les résultats numériques obtenus montrent que l’algorithme est en mesure d’identifier des solutions de qualité dans un contexte visant la résolution d’instances réelles.

Symptômes dépressifs et consommation problématique de substances psychoactives : effets modérateurs du contexte social

Seulement une minorité d’adolescents qui consomment des substances psychoactives développe des problèmes significatifs reliés à cette consommation. Il importe donc de connaître et de comprendre les processus par lesquels se développe la consommation problématique afin de pouvoir la prévenir. Cette étude examine le rôle des symptômes dépressifs et des relations sociales dans le développement de la consommation problématique à l’adolescence. Plus précisément, elle vise à déterminer, à l’aide d’un devis longitudinal corrélationnel prospectif, si le soutien des pairs, le soutien des parents et la qualité de la relation maître-élève ont des effets modérateurs protecteurs sur la relation entre les symptômes dépressifs et la consommation problématique. L’échantillon utilisé pour cette étude est tiré de la Stratégie d’Intervention Agir Autrement et comprend 4473 adolescents. Des régressions linéaires multiples ont été effectuées et ont démontré que les symptômes dépressifs et le soutien des parents augmentent le risque d’une consommation problématique, alors que le soutien des pairs le diminue. De plus, les résultats confirment le rôle protecteur du soutien des pairs, mais indiquent que le soutien des parents exacerbe le lien entre les symptômes dépressifs et la consommation problématique. Par ailleurs, la qualité de la relation maître-élève est associée à une consommation moins problématique uniquement chez les jeunes qui n’ont pas beaucoup de symptômes dépressifs. Les implications de ces résultats sont discutées.

Models and algorithms for the capacitated location-routing problem

Le problème de localisation-routage avec capacités (PLRC) apparaît comme un problème clé dans la conception de réseaux de distribution de marchandises. Il généralisele problème de localisation avec capacités (PLC) ainsi que le problème de tournées de véhicules à multiples dépôts (PTVMD), le premier en ajoutant des décisions liées au routage et le deuxième en ajoutant des décisions liées à la localisation des dépôts. Dans cette thèse on dévelope des outils pour résoudre le PLRC à l’aide de la programmation mathématique. Dans le chapitre 3, on introduit trois nouveaux modèles pour le PLRC basés sur des flots de véhicules et des flots de commodités, et on montre comment ceux-ci dominent, en termes de la qualité de la borne inférieure, la formulation originale à deux indices [19]. Des nouvelles inégalités valides ont été dévelopées et ajoutées aux modèles, de même que des inégalités connues. De nouveaux algorithmes de séparation ont aussi été dévelopés qui dans la plupart de cas généralisent ceux trouvés dans la litterature. Les résultats numériques montrent que ces modèles de flot sont en fait utiles pour résoudre des instances de petite à moyenne taille. Dans le chapitre 4, on présente une nouvelle méthode de génération de colonnes basée sur une formulation de partition d’ensemble. Le sous-problème consiste en un problème de plus court chemin avec capacités (PCCC). En particulier, on utilise une relaxation de ce problème dans laquelle il est possible de produire des routes avec des cycles de longueur trois ou plus. Ceci est complété par des nouvelles coupes qui permettent de réduire encore davantage le saut d’intégralité en même temps que de défavoriser l’apparition de cycles dans les routes. Ces résultats suggèrent que cette méthode fournit la meilleure méthode exacte pour le PLRC. Dans le chapitre 5, on introduit une nouvelle méthode heuristique pour le PLRC. Premièrement, on démarre une méthode randomisée de type GRASP pour trouver un premier ensemble de solutions de bonne qualité. Les solutions de cet ensemble sont alors combinées de façon à les améliorer. Finalement, on démarre une méthode de type détruir et réparer basée sur la résolution d’un nouveau modèle de localisation et réaffectation qui généralise le problème de réaffectaction [48].

Comportements sexuels chez les adolescents en Afrique sub-Saharienne : l’exemple du Burkina Faso, du Ghana, du Malawi et de l’Ouganda

On s’accorde à dire que les adolescents constituent l’avenir quel que soit le temps et l’espace considéré. Il est également reconnu que le développement de leur capital humain et social, nécessaire pour une vie adulte de qualité, dépend des conditions dans lesquelles ils vivent et de l’environnement dans lequel s’opérera la transition vers cette vie adulte. Plus que dans toute autre partie du monde, ce constat est encore plus d’actualité en Afrique sub-Saharienne où, à la situation socio-économique déjà précaire, s’ajoutent d’importants problèmes de santé sexuelle et reproductive auxquels font face les adolescents en particulier le VIH. Conscients de l’enjeu majeur que représente la santé des adolescents, les gouvernements en Afrique sub-Saharienne, aidés en cela par les organismes non-gouvernementaux et toute la communauté internationale, ont inscrit la promotion de stratégies efficientes en santé sexuelle et reproductive des adolescents comme haute priorité dans leurs agendas. Mais force est de constater que l’élaboration et la mise en œuvre de telles stratégies supposent la production de connaissances sans cesse actualisées ainsi que la formulation de politiques innovatrices basées sur des données probantes et éprouvées en matière de santé sexuelle et reproductive, ce qui n’est pas toujours le cas. De plus, le fait que ce segment particulier de la population ne constitue pas un groupe homogène pose un défi supplémentaire quant à l’élaboration de stratégies généralisables. Fort de ce qui précède, le présent travail, qui porte sur le Burkina Faso, le Ghana, le Malawi et l’Ouganda, fait d’abord le point sur les problèmes majeurs de santé sexuelle et reproductive auxquels fait face cette frange spécifique de la population, tout en jetant un regard critique sur les efforts déployés par les sciences sociales pour les analyser. Il apporte ensuite des réponses à des questions spécifiques de recherche que nous nous sommes posées à travers les trois articles qui constituent l’ossature de cette thèse et dont l’essentiel de l’analyse empirique peut être résumé comme suit : Dans le premier article, nous sommes partis du constat suivant : dans les quatre pays étudiés, une importante proportion des adolescents qui se déclarent non encore sexuellement actifs pensent paradoxalement que leurs chances de contracter le VIH sont très grandes. Face à un tel constat, la question que l’on est en droit de se poser est celle de savoir pourquoi sont-ils si préoccupés? Quels sont les facteurs qui déterminent cette perception du risque? Les résultats confirment ce que certaines études ont déjà démontré à savoir que les individus élaborent leur propre définition du risque qui peut ne pas se résumer nécessairement à une opposition binaire «risque/aucun risque», mais est plutôt fonction des caractéristiques individuelles mais aussi du contexte social et épidémiologique dans lesquels ils vivent. Le deuxième article de la thèse analyse le contexte dans lequel s’opère la transition vers le premier rapport sexuel chez les adolescentes des quatre pays étudiés. Il part du constat selon lequel les recherches ont très souvent abordé les comportements sexuels des adolescents sous un angle marqué par la dichotomie entre les «sexuellement actifs» et les «non encore sexuellement actifs». Or le calendrier de l’entrée en sexualité et le contexte dans lequel elle a lieu (dans l’union ou hors union) sont non seulement des marqueurs des comportements sexuels à risque vis-à-vis du VIH, mais ils conditionnent aussi et surtout la qualité de la transition vers l’entrée dans la vie adulte. Les résultats montrent ici également que le contrôle parental est significativement associé à une faible probabilité pour les adolescents d’initier la sexualité hors de l’union. Quant au troisième article, il se penche sur un cas précis de comportement à risques chez les adolescents: le multipartenariat sexuel aggravé par la non utilisation systématique du condom, pourtant le seul moyen pour l’instant (en dehors de l’abstinence) de se protéger contre les infections sexuellement transmissibles et le VIH/SIDA. Les résultats montrent entre autres que le contrôle parental est significativement associé à une faible probabilité de comportement sexuel à risque, défini ici comme étant la co-occurrence de plusieurs partenaires sexuels au cours de 12 derniers mois et la non-utilisation systématique du condom avec chacun des partenaires. Sur un plan programmatique, ce résultat est plutôt encourageant car il prouve que l’autorité parentale jadis considérée comme érodée, demeure une pierre angulaire dans les stratégies de prévention du VIH chez les adolescents.

Vers un approfondissement de l’évaluation des états mentaux : exploration de leurs propriétés et répercussions

Les états mentaux réfèrent à la qualité de la capacité d’un individu à élaborer mentalement et à s’ouvrir à son expérience subjective dans l’ici et maintenant. Les divers états mentaux varient quant à la disponibilité des ressources représenta-tionnelles et affectives pouvant être activées afin d’organiser l’expérience vécue, ainsi que dans leur utilisation de stratégies défensives et d’autorégulation. La présente thèse avait pour objectifs 1) d’approfondir l’évaluation des états mentaux par le développement et la validation d’un instrument pratique, le Mental States Task (MST), développé afin d’évaluer différentes qualités d’états mentaux et 2) d’investiguer les propriétés psychiques et les répercussions des différents états mentaux. Le premier article avait pour but de valider le MST. La première partie de l’article est consacrée à la validation du MST dans sa version francophone, et la deuxième partie porte sur la traduction et la validation du MST dans sa version anglophone. Les résultats fournissent des indices convaincants de validité et de fidélité, ainsi qu’une valeur prédictive adéquate. Le MST semble représenter de façon conforme autant les états mentaux de bas niveau que de haut niveau selon le continuum de réflexivité. De fait, les états mentaux de bas niveau et de haut niveau ont été respectivement associés à un large spectre de construits négatifs/immatures et positifs/matures. De plus, chaque état mental évalué par le MST semble posséder des propriétés particulières relativement aux processus mentaux et émotionnels utilisés pour traiter l’expérience. Le second article avait pour objectif d’approfondir l’étude de la valeur prédictive du MST par le biais de l’évaluation des coûts psychiques engendrés par les différentes qualités d’états mentaux—coûts présumés dépendant des ressources représentationnelles disponibles et du type de stratégies de régulation utilisées. Les résultats suggèrent que les états mentaux de bas niveau génèrent des coûts énergétiques plus élevés, ayant pour répercussion d’entraîner subséquemment un effet de déplétion du moi. Inversement, les états mentaux de haut niveau engendrent de moindres coûts, protégeant contre un état subséquent de déplétion du moi. Le MST s’est avéré être un outil efficace d’évaluation des répercussions énergétiques occasionnées par les divers états mentaux.

Les déterminants du succès subjectif de carrière : possibilités de mobilité externe et congruence personne-organisation

Le succès de carrière a fait l’objet d’une multitude d’études et deux formes de succès ont été identifiées; le succès subjectif et le succès objectif de carrière. Dans le cadre de notre recherche, nous nous sommes intéressés au succès subjectif de carrière compte tenu de son association confirmée avec le bien-être psychologique, la qualité de la vie au travail (Nabi, 2003; Peluchette, 1993), la motivation intrinsèque, la confiance en soi (Abele et Spurk, 2009b) et l’engagement envers l’organisation (Hennequin, 2009a). En outre, selon diverses études (Arthur, Khapova et Wilderom, 2005; El Akremi, Guerrero et Neveu, 2006), le succès de carrière a tendance à être examiné plus sur la base des critères objectifs (salaire et promotions) que des critères subjectifs (la perception de l’individu). Par ailleurs, il y a eu une méta-analyse, élaborée par Ng, Eby, Sorensen et Feldman (2005) qui a examiné les déterminants du succès de carrière, à la lumière de deux perspectives théoriques développées par Turner (1960); soit la perspective de la mobilité par concours « contest mobility » et la perspective de la mobilité sponsorisée « sponsored mobility ». Ces auteurs ont révélé que les recherches sur le succès de carrière ont une portée limitée; « there is only a limited range of variables being examined as predictor of career success » (p. 396); d’où la nécessité d’examiner d’autres déterminants de succès de carrière, en les associant aux deux perspectives théoriques développées par Turner (1960). La présente recherche s’inscrit également dans la lignée des études qui ont pour but d’analyser les déterminants du succès de carrière. Toutefois, elle traite des liens entre le succès subjectif de carrière, les possibilités de mobilité externe et la congruence personne-organisation. Sur la base des recommandations de Ng, Eby, Sorensen et Feldman (2005), nous avons associé la congruence personne-organisation au modèle de la mobilité sponsorisé et les possibilités de mobilité externe au modèle de la mobilité par concours. Notre étude est de type explicatif, compte tenu du fait qu’elle tente de vérifier les liens entre le succès subjectif de carrière, les possibilités de mobilité externe et la congruence personne-organisation. À cet effet, nous avons eu recours à des données qui ont été colligées auprès de professionnels des ressources humaines, membre de l’ordre des conseillers en ressources humaines et en relations industrielles (Saba et Dufour, 2005) afin de pouvoir tester empiriquement les liens que nous anticipions entre notre variable dépendante (succès subjectif de carrière) et nos variables indépendantes (congruence personne-organisation et possibilités de mobilité externe) en tenant compte à la fois de notre variable médiatrice, à savoir le sponsorat organisationnel qui intervient dans le lien entre la congruence personne-organisation, et de nos variables de contrôle, qui sont l’âge, le genre, le statut marital, la scolarité, l'ancienneté dans l'organisation et l'ancienneté sur le marché du travail. Par ailleurs, nous avons adopté une méthode quantitative et nous avons procédé à des analyses statistiques, afin de faire sortir les caractéristiques de la distribution des variables; à des analyses bivariées, afin d’analyser les relations (statistiques) entre notre variable dépendante (succès subjectif de carrière) et chacune de nos variables indépendantes (la congruence personne-organisation et les possibilités de mobilité externe) et à une régression multiple, afin de déterminer si des corrélations existent entre les différentes variables à l’étude, nous avons également effectué un test de médiation afin de vérifier le rôle médiateur du sponsorat organisationnel dans le lien entre la congruence personne-organisation et le succès subjectif de carrière. De façon générale, nos hypothèses de recherche on été confirmées. Les possibilités de mobilité externe et la congruence personne-organisation sont liées positivement au succès subjectif de carrière. De plus, nous avons identifié une médiation partielle du sponsorat organisationnel dans le lien entre la congruence personne-organisation et le succès subjectif de carrière.

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.

Rapport d'intervention du programme À vos stratégies, prêts, partez!

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation.

Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique

Les systèmes statistiques de traduction automatique ont pour tâche la traduction d’une langue source vers une langue cible. Dans la plupart des systèmes de traduction de référence, l'unité de base considérée dans l'analyse textuelle est la forme telle qu’observée dans un texte. Une telle conception permet d’obtenir une bonne performance quand il s'agit de traduire entre deux langues morphologiquement pauvres. Toutefois, ceci n'est plus vrai lorsqu’il s’agit de traduire vers une langue morphologiquement riche (ou complexe). Le but de notre travail est de développer un système statistique de traduction automatique comme solution pour relever les défis soulevés par la complexité morphologique. Dans ce mémoire, nous examinons, dans un premier temps, un certain nombre de méthodes considérées comme des extensions aux systèmes de traduction traditionnels et nous évaluons leurs performances. Cette évaluation est faite par rapport aux systèmes à l’état de l’art (système de référence) et ceci dans des tâches de traduction anglais-inuktitut et anglais-finnois. Nous développons ensuite un nouvel algorithme de segmentation qui prend en compte les informations provenant de la paire de langues objet de la traduction. Cet algorithme de segmentation est ensuite intégré dans le modèle de traduction à base d’unités lexicales « Phrase-Based Models » pour former notre système de traduction à base de séquences de segments. Enfin, nous combinons le système obtenu avec des algorithmes de post-traitement pour obtenir un système de traduction complet. Les résultats des expériences réalisées dans ce mémoire montrent que le système de traduction à base de séquences de segments proposé permet d’obtenir des améliorations significatives au niveau de la qualité de la traduction en terme de le métrique d’évaluation BLEU (Papineni et al., 2002) et qui sert à évaluer. Plus particulièrement, notre approche de segmentation réussie à améliorer légèrement la qualité de la traduction par rapport au système de référence et une amélioration significative de la qualité de la traduction est observée par rapport aux techniques de prétraitement de base (baseline).

Facteurs liés à l’adoption du dossier médical électronique (DME): une étude de cas sur le processus d'implantation d’un DME dans un groupe de médecine de famille.

Dans l’espoir d'améliorer l'efficacité, l’efficience, la qualité et la sécurité des soins de santé, la plupart des pays investissent dans l’informatisation de leur système de santé. Malgré l’octroi de ressources substantielles, les projets d'implantation d’un Dossier médical électronique (DME) font parfois l’objet d’une résistance importante de la part des utilisateurs au moment de leur implantation sur le terrain. Pour expliquer l’adoption d’un DME par les professionnels de la santé, plusieurs modèles théoriques ont été développés et appliqués. Une diversité de facteurs agissant à différents niveaux (individuel, organisationnel et liés à la technologie elle-même) a ainsi été identifiée. L’objectif de cette recherche est d’approfondir les connaissances empiriques quant aux facteurs influençant l’utilisation du DME chez les professionnels de la santé. Le devis de recherche repose sur une étude de cas unique avec douze entrevues et une observation non participante réalisées un an suite au lancement du processus d’implantation d’un DME auprès d’un groupe de médecine famille (GMF) au sein du Centre de santé et de services sociaux du Sud-Ouest-Verdun (Montréal, Canada). Dans le cadre de cette étude, l’analyse a permis l’identification de facilitateurs et de barrières influençant l’adoption du DME. Les facilitateurs étaient l’utilité perçue, la décision du GMF d’implanter le DME, le support de la direction ainsi que la présence de champions et de superutilisateurs. Les barrières les plus importantes étaient l’impact négatif sur le travail clinique, la fragmentation de l’information dans le DME ainsi que les problèmes liés à l’infrastructure technique. Cette connaissance permettra d’alimenter des stratégies visant à mieux répondre aux défis suscités par l’implantation du dossier médical électronique.

Le développement récent des trois "petites" télévisions francophones de Suisse, de Belgique et du Québec, convergence ou divergence?

Dans le cadre d’une sociologie des organisations portant sur les liens entre organisations télévisuelles et environnement, la présente thèse a pour objectif de cerner les modalités du développement récent de la télévision au Québec en le comparant à celui de la Belgique francophone et de la Suisse. Une telle comparaison repose sur un principe méthodologique simple: on cerne d’autant mieux la réalité que l’on étudie si on peut la comparer à une réalité équivalente d’autres sociétés. En s’appuyant sur des théories de développement organisationnel reliées au courant néo-fonctionnaliste et en adaptant des « histoires de cas » d’études organisationnelles à la réalité télévisuelle des années 90 et 2000, le chercheur a mis au point une grille de classification des données permettant d’étudier les composantes du développement de la télévision dans trois « petites » sociétés industrialisées. Dans un premier temps, il a pu constater une augmentation très importante du nombre de chaînes de télévision par rapport à ce qu’il était dans les années 50 à 70, le tout encadré par les autorités réglementaires en place. Par la suite, dans chacune de ces trois sociétés et sur une période de vingt-cinq ans, il a pu préciser les interactions et échanges entre organisations télévisuelles et environnement lesquels ont été, selon les cas, harmonieux, difficiles, voire même conflictuels. Après avoir comparé les modalités d’une telle augmentation entre les trois sociétés, le chercheur a pu constater une convergence de surface. On note bien quelques similitudes entre les trois sociétés, mais, surtout, chacune d’entre elles est restée sur son quant-à-soi. En Suisse, l’importance accordée au consensus social a favorisé un développement équilibré de l’augmentation des chaines. En Belgique, pays aux divisions profondes constamment réaffirmées, les oppositions ont permis, malgré tout, l’édification d’un ensemble audiovisuel relativement stable. Au Québec, avec une augmentation exponentielle du nombre de chaines, on a assisté à un véritable surdéveloppement de la télévision encouragé et planifié par les autorités gouvernementales canadiennes en réaction à un supposé envahissement culturel américain. Le CRTC, la régie des ondes canadiennes, a pesé de tout son poids pour favoriser l’augmentation du contenu canadien et de la production locale. Par ailleurs, cette augmentation s’est faite avec des ressources limitées. On en fait trop avec trop peu. C’est ce qui permettrait d’expliquer la baisse de qualité de la télévision québécoise contemporaine. Comme élément de solution aux problèmes que la télévision québécoise connait présentement, il faudrait considérer cette dernière pour ce qu’elle est véritablement: une petite télévision dans un univers industriellement hautement développé. Si une telle conception est très bien acceptée aussi bien en Belgique qu’en Suisse, elle ne l’est pas au Québec

TactoColor : conception et évaluation d’une interface d’exploration spatiale du web pour malvoyants.

Nous nous intéressons, dans le cadre de cette recherche, à l’accès à l’internet des personnes malvoyantes. Plusieurs types d’outils destinés à ce public sont disponibles sur le marché, comme les lecteurs et les agrandisseurs d’écran, en fonction de l’acuité visuelle de la personne. Bien que ces outils soient utiles et régulièrement utilisés, les malvoyants (ainsi que les aveugles) évoquent souvent leur aspect frustrant. Plusieurs raisons sont citées, comme le manque d’organisation spatiale du contenu lu avec les lecteurs d’écran ou le fait de ne solliciter qu’un seul sens. La présente recherche consiste à adapter pour les malvoyants un système en développement le TactoWeb (Petit, 2013) qui permet une exploration audio-tactile du Web. TactoWeb a été conçu pour les handicapés ayant une cécité complète et n’offre donc aucune propriété visuelle. Nous proposons ici une adaptation du système pour les handicapés n’ayant qu’une déficience visuelle partielle. Nous espérons fournir à cette population des outils performants qui leur permettront de naviguer sur l’internet de façon efficace et agréable. En effet, grâce à une exploration non-linéaire (qui devrait améliorer l’orientation spatiale) et une interface multimodale (qui sollicite la vue, l’ouïe et le toucher), nous pensons réduire fortement le sentiment de frustration qu’évoquent les malvoyants. Nous avons posé l’hypothèse qu’une exploration non-linéaire et trimodale d’un site internet avec TactoColor est plus satisfaisante et efficace qu’une exploration non-linéaire bimodale avec TactoWeb (sans retour visuel). TactoColor a été adapté pour les malvoyants en ajoutant des indices visuels traduisant les composantes de la page (liens, menus, boutons) qui devraient rendre l’exploration plus aisée. Pour vérifier notre hypothèse, les deux versions du logiciel ont été évaluées par des malvoyants. Ainsi, les participants ont commencé soit avec TactoWeb, soit avec TactoColor afin de ne pas favoriser une des versions. La qualité de la navigation, son efficacité et son efficience ont été analysées en se basant sur le temps nécessaire à l’accomplissement d’une tâche, ainsi que la facilité ou la difficulté évoquée par le participant. Aussi, à la fin de chaque session, nous avons demandé leur avis aux participants, grâce à un questionnaire d’évaluation, ce qui nous a permis d’avoir leur retour sur notre logiciel après leur brève expérience. Tous ces relevés nous ont permis de déterminer que l’ajout des couleurs entraine une exploration plus rapide des pages web et une meilleure orientation spatiale. Par contre les performances très différentes des participants ne permettent pas de dire si la présence des couleurs facilite la complétion des tâches.