Étude pharmacocinétique/pharmacodynamique de l'ocytocine chez le rat anesthésié

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Inférence statique et par contraintes des relations de composition dans des programmes Java

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Évaluation de la variabilité interindividuelle de la toxicocinétique de composés organiques volatils chez l'humain

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Vers la synthèse d'hélices organiques fonctionnalisées avec des nucléobases

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Étude des interactions entre les boucles D et T chez les ARNs de transfert (ARNts)

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

L’exercice du raisonnement clinique d’infirmières du programme SIPPE lorsqu’elles priorisent leurs interventions auprès de familles qui vivent en contexte de vulnérabilité.

Cette recherche qualitative avait pour but d’explorer le raisonnement clinique d’infirmières de première ligne en CSSS/CLSC lorsqu’elles priorisent leurs interventions auprès de familles vivant en contexte de vulnérabilité dans le cadre du programme des Services intégrés en périnatalité et pour la petite enfance (SIPPE). Il s’agit d’une étude de cas qui comporte un échantillon intentionnel de sept épisodes de soins impliquant deux infirmières auprès de sept familles en période postnatale lorsqu’elles priorisent leurs interventions. La collecte de données a procédé par méthode think aloud, suivie d’entretiens semi-dirigés auprès des infirmières. Une analyse qualitative des données a été effectuée selon des méthodes interprétatives et par comptage de catégories. Ces dernières ont été formulées et mises en relation en s’inspirant de la modélisation du processus de raisonnement clinique de Tanner (2006) ainsi que des stratégies de raisonnement clinique proposés par Fonteyn (1998). Au terme de cette étude, le processus de raisonnement clinique ne semble pas être différent selon le type de priorité d’intervention auprès de familles en contexte de vulnérabilité, particulièrement lorsque nous distinguons la priorité selon un degré d’urgence (prioritaire ou secondaire). Aussi, nous constatons qu’il existe peu de diversité dans les processus de raisonnement clinique mobilisés à travers les sept épisodes de soins; et qu’un processus narratif de raisonnement est fréquent. Si une famille exprime un besoin urgent, l’infirmière y répond prioritairement. Par ailleurs, lorsque des conditions suggèrent un potentiel accru de vulnérabilité des familles, un mode de raisonnement clinique plus systématique, qui comporte une collecte et une mise en relation d’informations afin de formuler une proposition pour soutenir le passage à l’action, semble être mobilisé pour prioriser l’intervention. Il en est ainsi s’il s’agit d’un premier bébé, que la famille n’utilise pas d’autres ressources formelles de soutien. Autrement, s’il s’agit d’un deuxième bébé et que les familles utilisent d’autres ressources, les infirmières tendent plutôt à appliquer une routine d’intervention SIPPE. Aussi, cette recherche témoigne de l’engagement soutenu des infirmières auprès de familles vivant d’importants défis. Il importe toutefois de soutenir le développement d’un répertoire plus varié de processus de raisonnement clinique afin de renforcer leur capacité de prioriser leur intervention qui se déroule dans un contexte de multiples contraintes organisationnelles et interpersonnelles.

La compétence en emploi peut-elle prédire la santé psychologique des enseignants?

La présente thèse de doctorat porte sur la relation entre la santé psychologique au travail, les besoins fondamentaux et la compétence en emploi. En plus de valider un questionnaire de compétences en emploi (QCE), cette thèse propose que les compétences en emploi puissent prédire la santé psychologique au travail par la satisfaction des besoins fondamentaux dans le domaine de l’enseignement. Le premier article a pour objectif de présenter la conception et la validation de l’instrument de mesure des compétences en emploi dans le domaine de l’enseignement. Une première étape dans notre étude a permis l’identification de trois solutions factorielles possibles : structure à un seul facteur, structure à deux facteurs et structure à un facteur de deuxième ordre. Les matrices des corrélations des énoncés étaient fiables, se prêtaient bien à l’analyse factorielle exploratoire et présentaient de bonnes cohérences internes. La deuxième étape de notre étude a été de type confirmatif. Chacune des trois solutions factorielles proposées a été analysée, ce qui a permis l’identification du modèle le mieux ajusté compte tenu des seuils empiriques des indices retenus pour l’analyse par équations structurelles. L’étude réalisée sur un échantillon d’enseignants québécois démontre que nous pouvons conclure aux bonnes qualités psychométriques de l’instrument analysé. Les limites et les apports de cette étude seront aussi présentés. Le deuxième article examine les liens entre les compétences en emploi dans le domaine de l’enseignement, la santé psychologique au travail et la satisfaction des trois besoins fondamentaux (autonomie, compétence et affiliation). Un modèle de médiation est testé par des analyses de modélisation par équations structurelles. Dans ce modèle, on considère que la satisfaction des trois besoins fondamentaux (autonomie, compétence et affiliation sociale) agisse comme médiateur dans la relation entre les compétences en emploi et la santé psychologique au travail. Une relation de médiation partielle (Baron & Kenny, 1986) a été trouvée dans notre échantillon, en utilisant l’analyse de rééchantillonnage par « bootstrap », dans le cadre de la modélisation par équations structurelles. Les limites de la recherche, ainsi que des suggestions de recherches futures seront proposées.

Caractérisation de la dynamique des berges de deux tributaires contrastés du Saint-Laurent : le cas des rivières Batiscan et Saint-François

L’érosion des berges est un processus clé de la dynamique fluviale. Elle influence considérablement la charge sédimentaire des rivières et contrôle l’évolution latérale des chenaux. Les méthodes de caractérisation des mécanismes et des variables affectant l’érosion des berges sont toutefois imprécises et difficiles à appliquer. Ce projet a pour objectif de caractériser la dynamique actuelle des berges de deux tributaires contrastés du Saint-Laurent : les rivières Saint-François et Batiscan. Le premier objectif vise à quantifier les caractéristiques géotechniques de deux tronçons des rivières à l’étude près de l’embouchure avec le Saint-Laurent en décrivant la stratigraphie à différents sites typiques et en recueillant des échantillons de sédiments afin de mesurer différentes variables géotechniques (granulométrie, limites d’Atterberg, résistance à l’érosion mécanique, résistance à l’érosion fluviale). Le second objectif vise à quantifier les principales caractéristiques hydrodynamiques (précipitations, débits, cisaillements, vitesses) des deux sections de rivière. Le troisième et dernier objectif cherche à mesurer les taux d’érosion à l’échelle saisonnière en utilisant des relevés GPS et des chaînes d’érosion et à identifier les mécanismes d’érosion qui opèrent sur les rivières. Les résultats montrent une érosion importante des berges sur chacun des tributaires, mais les mécanismes qui la cause diffèrent. La Batiscan possède des berges dont le matériel est cohésif et ses berges sont principalement marquées par des ruptures de masse. La Saint-François présente des berges peu cohésives ce qui favorise l’érosion fluviale. Le taux de recul sur la rivière Saint-François est de l’ordre de 1 à 3 m/an dans certaines sections de la rivière. Une nouvelle méthode de mesure du cisaillement critique d’érosion fluviale à l’aide d’un chenal expérimental a été élaborée. Les cisaillements critiques obtenus se situent entre 1,19 et 13,41 Pa. Les résultats montrent que les facteurs jouant sur l’érosion des berges ont une variabilité intrinsèque et systémique difficile à mesurer. Le protocole expérimental développé dans ce projet s’est toutefois avéré utile pour étudier les principales variables qui influencent l’érosion des berges, tout en quantifiant les taux d’érosion et les mécanismes d’érosion de berge de deux tributaires importants du fleuve Saint-Laurent. Ce protocole pourrait être utile dans d’autres contextes.

La toxoplasmose chez les Inuits : investigation de l'écologie de toxoplasma gondii dans l'Arctique canadien

Toxoplasma gondii, un protozoaire très répandu dans le monde, peut infecter de nombreuses espèces homéothermes incluant les mammifères et les oiseaux qui développent alors une toxoplasmose. L’impact de la toxoplasmose en termes de santé publique est majeur, particulièrement chez les personnes immunodéprimées et les foetus. Les niveaux d’infection humaine dans certaines régions de l’Arctique Canadien sont parmi les plus élevés au monde et ce, malgré l’absence de félidés qui sont les seuls hôtes capables d’excréter T. gondii. Plusieurs études ont suggéré la consommation de viande crue de mammifères marins et notamment de phoques comme source d’infection des Inuits. Notre travail de recherche visait à comprendre les mécanismes de dispersion de T. gondii dans les écosystèmes aquatiques menant à la contamination du milieu marin de l’Arctique par des oocystes, et à évaluer l’importance de cette voie de dispersion dans l’infection des phoques et conséquemment dans celle des Inuits. Notre hypothèse était que les oocystes de T. gondii, excrétés durant l’hiver par des félidés dans le Subarctique et transportés par les rivières pendant la fonte printanière, contaminaient les estuaires de l’Arctique Canadien. Dans un premier temps, une étude transversale de séroprévalence chez les phoques de l’Arctique Canadien a montré que ces populations étaient infectées par T. gondii et pouvaient ainsi a priori constituer une source d’infection pour les Inuit. Des variations spatio-temporelles de la séroprévalence étaient observées suggérant un lien potentiel avec des variations dans la contamination environnementale par les oocystes. Un schéma conceptuel explicitant les mécanismes de transport et de devenir des oocystes de T. gondii, du phénomène de la fonte de la neige jusqu’à l’exposition des organismes marins, a été proposé dans le chapitre suivant. Des interactions entre les différents mécanismes identifiés, qui agissent sur des échelles spatio-temporelles variées, devraient favoriser l’apparition de concentrations relativement élevées aux estuaires permettant ainsi l’exposition et potentiellement l’infection de phoques. Pour évaluer la contamination environnementale par les oocystes excrétés par la population de lynx du bassin versant de l’Arctique Canadien (les seuls félidés majoritairement distribués dans ce vaste territoire), nous avons mené une étude sérologique de type transversale dans cette population. Cette étude a permis de montrer que des lynx étaient infectés par T. gondii et a également suggéré que la dynamique des cycles de populations lynx-lièvres pouvait être un processus important dans la transmission de T. gondii. Finalement, la modélisation du transport hydrique des oocystes a indiqué que les concentrations hypothétiques d’oocystes dans l’eau de la fonte pourraient être suffisantes pour permettre l’exposition au niveau des estuaires de bivalves filtreurs, qui sont des proies pour les phoques et donc potentiellement des sources infectieuses pour ces derniers. Dans des écosystèmes nordiques en pleine mutation, la compréhension des mécanismes de transmission d’agents pathogènes d’origine hydrique comme T. gondii est plus que nécessaire, notamment dans le but de protéger les populations fragilisées de ces régions.

Approche multidisciplinaire pour l’amélioration de l’estimation de l’exposition aux sous-produits de désinfection de l’eau en milieu domestique et en piscine

La désinfection de l’eau de consommation et des piscines induit la formation de sous-produits (SPD) potentiellement nocifs pour la santé, parmi lesquels les trihalométhanes (THM), les acides haloacétiques (HAA) et les chloramines (CAM). La difficulté d’estimer l’exposition humaine à ces SPD empêche de cerner précisément les risques sanitaires possiblement associés (i.e., cancérigènes, reprotoxiques, irritatifs). Nos travaux s’articulent autour d’une méthodologie consistant à intégrer des données d’occurrence environnementales à des modèles toxicocinétiques à base physiologique (TCBP) pour améliorer les mesures de l’exposition aux SPD. Cette approche multidisciplinaire veut prendre en compte de manière aussi appropriée que possible les deux composantes majeures des variations de cette exposition : les variations spatio-temporelles des niveaux de contamination environnementale et l’impact des différences inter- et intra-individuelles sur les niveaux biologiques. Cette thèse, organisée en deux volets qui explorent chacun successivement des aspects environnemental et biologique de la problématique, vise à contribuer au développement de cette stratégie innovante d’estimation de l’exposition et, plus généralement, à des meilleures pratiques en la matière. Le premier volet de la thèse s’intéresse à l’exposition en milieu domestique (i.e., résultant de l’utilisation de l’eau potable au domicile) et est consacré au cas complexe des THM, les plus abondants et volatils des SPD, absorbables par ingestion mais aussi par inhalation et voie percutanée. Les articles I et II, constitutifs de ce volet, documentent spécifiquement la question des variations inter- et intra- journalières de présence des SPD en réseau et de leurs impacts sur les estimateurs de l’exposition biologique. Ils décrivent l’amplitude et la diversité des variations à court terme des niveaux environnementaux, présentent les difficultés à proposer une façon systématique et « épidémiologiquement » pratique de les modéliser et proposent, de manière originale, une évaluation des mésestimations, somme toute modestes, des mesures biologiques de l’exposition résultant de leurs non-prise en compte. Le deuxième volet de la thèse se penche sur l’exposition aux SPD en piscine, d’un intérêt grandissant au niveau international, et se restreint au cas jugé prioritaire des piscines publiques intérieures. Ce volet envisage, pour quantifier l’exposition dans ce contexte particulier, l’extension de l’approche méthodologique préconisée, élaborée originellement pour application dans un contexte domestique : d’abord, à travers une analyse approfondie des variations des niveaux de contamination (eau, air) des SPD en piscine en vue de les modéliser (article III); puis en examinant, dans le cas particulier du chloroforme, le THM le plus abondant, la possibilité d’utiliser la modélisation TCBP pour simuler des expositions en piscine (article IV). Les résultats mettent notamment en évidence la difficulté d’appréhender précisément la contamination environnementale autrement que par un échantillonnage in situ tandis que la modélisation TCBP apparait, sur le plan toxicologique, comme l’outil le plus pertinent à ce jour, notamment au regard des autres approches existantes, mais qu’il convient d’améliorer pour mieux prédire les niveaux d’exposition biologique. Finalement, ces travaux illustrent la pertinence et la nécessité d’une approche multidisciplinaire et intégratrice et suggère, sur cette base, les pistes à explorer en priorité pour mieux évaluer l’exposition aux SPD et, in fine, cerner véritablement les risques sanitaires qui en résultent.

Modéliser le processus d’appropriation du feed-back en évaluation du potentiel pour en optimiser les retombées positives auprès des candidats

L’appropriation du feed-back a fait l’objet de plusieurs modèles théoriques en contexte d’évaluation de la performance, notamment par Ilgen, Fisher et Taylor (1979) qui suggèrent un modèle explicitant comment un feed-back en vient à susciter des changements comportementaux. Ce modèle a été repris dans divers domaines de recherche, sans pour autant être adapté en fonction du contexte spécifique dans lequel le feed-back était transmis. Cette thèse propose un modèle d’appropriation du feed-back inspiré des travaux d’Ilgen et al. (1979), mais reflétant les spécificités de l’évaluation du potentiel. Le modèle comporte trois étapes qui sont l’appropriation cognitive (composée de l’acceptation et de la conscientisation), l’intention d’agir dans le sens du feed-back et l’appropriation comportementale. La présente thèse se décompose en trois articles poursuivant les objectifs suivants : (1) Proposer un modèle théorique de l’appropriation du feed-back adapté au contexte de l’évaluation du potentiel. (2) Valider une mesure de l’appropriation cognitive combinant l’acceptation et la conscientisation. (3) Tester empiriquement le modèle d’appropriation du feed-back en contexte d’évaluation du potentiel. Le premier article vise d’abord à circonscrire les fondements de l’évaluation du potentiel et à définir l’appropriation du feed-back. Sur la base de ces informations, le modèle d’Ilgen et al. (1979) est ensuite revu et modifié. Les liens entre les différentes étapes du modèle sont subséquemment étayés par des théories et des études empiriques. L’article se conclue par une réflexion sur les retombées théoriques et pratiques du modèle revisité. L’objectif du second article consiste à développer et valider une mesure de l’appropriation cognitive incluant deux dimensions, à savoir l’acceptation et la conscientisation. Pour ce faire, deux études ont été menées auprès de candidats ayant reçu un feed-back suite à une évaluation du potentiel. Des analyses factorielles exploratoires (N = 111), puis des analyses factorielles confirmatoires (N = 178) ont été réalisées en ce sens. Chaque dimension de l’appropriation cognitive a également été mise en relation avec des variables critères afin de recueillir des éléments de preuve appuyant la validité de l’instrument. La majorité des indices obtenus confirment la présence des deux dimensions pressenties et des constats sont tirés sur la base de ces résultats. Le troisième article vise à vérifier empiriquement les liens anticipés entre les composantes du modèle d’appropriation du feed-back détaillé dans le premier article. Les deux premières étapes du modèle, soit l’appropriation cognitive et l’intention d’agir, ont été mesurées via un questionnaire complété immédiatement après le feed-back par 178 candidats. Ces derniers ont été sollicités trois mois plus tard afin de compléter un second questionnaire portant sur la dernière étape, l’appropriation comportementale, et 97 d’entre eux y ont répondu. Les résultats d’analyses par équations structurelles supportent le modèle et une discussion sur la portée de tels résultats s’en suit.

Utilisation des connaissances issues de la recherche en éducation Validation d’un questionnaire et proposition d’un modèle

La recherche sur l’utilisation des connaissances issues de la recherche (CIR) est en pleine expansion. Plusieurs études ont montré que l’utilisation des CIR contribue à améliorer la réussite scolaire des élèves. Toutefois, il semble que les enseignants les utilisent très peu. Pour améliorer cette utilisation, il est nécessaire de développer un modèle explicatif de l’utilisation des connaissances issues de la recherche. Ce modèle permet de rendre compte des mécanismes menant à l’utilisation des connaissances issues de la recherche en milieu de pratique. Il permet également de mettre en évidence les facteurs les plus influents et l’agencement de ces différents facteurs dans le but de favoriser une meilleure utilisation des connaissances issues de la recherche. Ce dernier aspect constitue l’objectif principal de cette thèse pour le domaine spécifique de l’éducation. Pour ce faire, un questionnaire sur l’utilisation des connaissances issues de la recherche (QUC) est validé et un modèle est proposé. Le premier article de la thèse examine la fiabilité, la validité et la structure factorielle du QUC avec un échantillon francophone et anglophone d’un milieu défavorisé. Le QUC, composé de 43 items, mesure six dimensions, soit : l’utilisation des connaissances issues de la recherche, le contexte organisationnel, la stratégie de soutien, l’opinion des utilisateurs et leur expertise ainsi que la fréquence d’accès aux sources des connaissances issues de la recherche. Au total, 2270 enseignants ont complété le questionnaire. Les résultats des différentes analyses montrent que le QUC doit être réduit à 20 items regroupés en cinq facteurs : l’utilisation des connaissances issues de la recherche, l’opinion des utilisateurs, la stratégie de soutien, l’expertise des utilisateurs et les facteurs organisationnels. Le second article de cette thèse examine quel modèle permet de mieux expliquer l’utilisation des CIR. Pour ce faire, deux modèles sont testés avec le même échantillon que dans le premier article, soit un modèle de liens directs et un modèle avec médiation. Pour le premier modèle, un lien direct entre l’utilisation des connaissances issues de la recherche et les facteurs qui favorisent cette utilisation est postulé : l’expertise, l’opinion, la stratégie de soutien et le facteur organisationnel auront des liens directs avec l’utilisation des connaissances issues de la recherche. Le second modèle (modèle avec médiation) se base quant à lui sur les théories de l’action raisonnée et du comportement planifié et postule que le lien entre les facteurs et l’utilisation n’est pas direct; certains facteurs ont des effets directs et d’autres des effets indirects. Concrètement, ce second modèle postule que l’expertise et l’opinion agissent comme médiateurs entre, d’une part, les deux variables indépendantes (le facteur organisationnel et la stratégie de soutien), et, d’autre part, la variable dépendante (l’utilisation des connaissances issues de la recherche). Les résultats des analyses montrent que le modèle avec médiation permet de mieux comprendre l’utilisation des connaissances issues de la recherche. Cette étude a permis de valider un questionnaire sur l’utilisation des connaissances issues de la recherche et aboutit à la proposition d’un modèle qui permet d’expliquer l’utilisation des connaissances issues de la recherche spécialement conçu pour le domaine de l’éducation. Elle fournit des outils (un questionnaire validé et un modèle) qui permettent de mieux cerner le paradigme de l’utilisation des connaissances issues de la recherche, ce qui pourrait favoriser une plus grande utilisation des CIR par les intervenants scolaires. En effet, les résultats de cette recherche peuvent guider les décideurs dans l’implantation des programmes menant à l’utilisation des connaissances issues de la recherche qui s’adressent aux enseignants. Ces résultats indiquent sur quels facteurs agir en premier lieu afin d’améliorer l’utilisation des CIR chez les enseignants du secondaire dans les milieux défavorisés. Le présent modèle pourrait être utilisé dans d’autres milieux scolaires (par exemple les milieux non défavorisés ou les milieux scolaires primaires) après validation.

Modulation de l’adressage membranaire et de la fonction du canal CaV2.3 par les résidus leucine du domaine guanylate kinase impliqués dans la liaison à forte affinité de CaVβ

Les canaux Ca2+ activés par le voltage (CaV) sont des protéines membranaires qui génèrent des courants Ca2+ dans les cellules excitables suite à une dépolarisation membranaire. Ces complexes oligomériques sont classifiés selon les propriétés structurelles de la sous-unité principale qui forme le pore du canal, soit la sous-unité CaVα1. La sous-unité auxiliaire CaVβ module l’expression membranaire et la dépendance au voltage du « gating » de la sous-unité CaVα1 des canaux HVA (« high-voltage-activated ») CaV1 et CaV2. La sous-unité CaVβ est formée par un domaine SH3 (« Src homology-3 ») connecté à un domaine GK (« guanylate kinase-like ») par le biais d’un domaine variable HOOK. Dans le but d’identifier les résidus dans la CaVβ3 qui sont responsables de la densité membranaire du CaV2.3, nous avons produit des mutants de la sous-unité auxiliaire le long de ses domaines fonctionnels. Cela dit, la délétion complète du domaine SH3 ainsi que la délétion du domaine HOOK n’ont pas modifié la densité membranaire de CaV2.3 ni ses propriétés d’activation. Cependant, la délétion de cinq résidus dans le domaine GK interrompt l’expression membranaire et l’expression fonctionnelle de CaV2.3. La mutation de résidus identifiés précédemment comme soutenant une affinité de liaison de l’ordre du nanomolaire dans le domaine GK de CaVβ n’a pas modifié de manière significative l’adressage membranaire de CaV2.3. Toutefois, les mutations de quatre résidus leucine dans les régions α3, α6, β10 et α9 du domaine GK ont grandement réduit l’adressage membranaire du canal CaV2.3. Nos résultats confirment que le domaine GK contient les déterminants moléculaires responsables de la fonction chaperone de CaVβ. Cela dit, l’adressage membranaire induit par CaVβ semble être déterminé par des éléments structuraux qui ne sont pas strictement dépendants d’une liaison à haute affinité de CaVβ sur CaVα1.

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.

Morphologic evaluation of ruptured abdominal aortic aneurysm by 3D modeling

This thesis was created in Word and converted to PDF using Mac OS X 10.7.5 Quartz PDFContext.