24 resultados para AUX framework

em Université de Montréal, Canada


Relevância:

30.00% 30.00%

Publicador:

Resumo:

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

Relevância:

30.00% 30.00%

Publicador:

Resumo:

L'avancement des communications sans-fil permet l'obtention de nouveaux services bases sur l'habileté des fournisseurs de services sans-fil à déterminer avec précision, et avec l'utilisation de technologies de pistage, la localisation et position géographiquement d'appareils sans-fil Cette habileté permet d'offrir aux utilisateurs de sans-fil de nouveaux services bases sur la localisation et la position géographique de leur appareil. Le développement des services basés sur la localisation des utilisateurs de sans-fil soulevé certains problèmes relatifs à la protection de la vie privée qui doivent être considérés. En effet, l'appareil sans-fil qui suit et enregistre les mouvements de I 'utilisateur permet un système qui enregistre et entrepose tous les mouvements et activités d'un tel utilisateur ou encore qui permet l'envoi de messages non anticipes à ce dernier. Pour ce motif et afin de protéger la vie privée des utilisateurs de sans-fil, une compagnie désirant développer ou déployer une technologie permettant d'offrir ce genre de services personnalisés devra analyser l'encadrement légal touchant la protection des données personnelles--lequel est dans certains cas vague et non approprié à ce nouveau contexte--ainsi que la position de l'industrie dans ce domaine, et ce, afin d'être en mesure de traduire cet encadrement en pratiques commerciales. Cette analyse permettra d'éclairer le fournisseur de ces services sur la façon d'établir son modèle d'affaires et sur le type de technologie à développer afin d'être en mesure de remédier aux nouveaux problèmes touchant la vie privée tout en offrant ces nouveaux services aux utilisateurs de sans-fil.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

L’augmentation croissante du nombre de nouvelles maladies et des possibilités de traitements existants ou en cours d’étude et ayant pour but la guérison des patients atteints, ont amené les chercheurs à pousser davantage leurs recherches biomédicales sur des sujets humains. La conduite de recherches biomédicales sur des sujets humains est une étape cruciale pour la compréhension de la maladie et, par conséquent, l’avancement des connaissances permettant d’éradiquer un jour certaines maladies répandues à l’échelle planétaire, tel le virus de l’immunodéficience humaine (VIH) causant le syndrome d’immunodéficience acquise (SIDA). Aujourd’hui, ces importantes recherches sont conduites partout à travers le monde mais plus particulièrement dans des pays en développement où les populations sont davantage vulnérables. C’est précisément à cause de cette pratique que différents acteurs de ce milieu ont reconsidéré certains aspects éthiques de ces recherches. Ce mémoire examine donc les différentes normes éthiques en vigueur qui gouvernent la recherche sur des sujets humains, afin de voir comment celles-ci tiennent compte des caractéristiques des populations des pays en développement. Cette comparaison nous guide ensuite vers un survol de trois approches philosophiques pour fins d’application à la recherche biomédicale sur des sujets humains et ce, par le biais d'une étude de cas. Suite à ces trois étapes et à la lumière d’une analyse critique des différents écrits recensés sur le sujet, une conclusion s’impose quant à l’importance de renforcer l’application des normes éthiques universelles entourant la recherche biomédicale sur des sujets humains et ce, justement parce celle-ci est surtout conduite sur des populations vulnérables de pays en développement.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Au premier trimestre 2009, le normalisateur mondial de la profession comptable (International Federation of Accountants) a publié deux documents destinés à apporter une aide aux professionnels de la comptabilité et de la finance sur leur prise en compte du développement durable et des parties prenantes d’une entreprise. En premier lieu, l’International Federation of Accountants propose un cadre d’analyse durable. Outil destiné aux comptables et financiers, il vise à faire de ces derniers un maillon essentiel du développement de nouvelles pratiques favorisant une performance économique, sociale et environnementale des entreprises. En second lieu, l’International Federation of Accountants vient de diffuser un guide international des bonnes pratiques en matière de gouvernance d’entreprise complétant les codes de gouvernance existant et ayant pour objectif d’inscrire les entreprises dans une approche stakeholder. A l’heure où la crise financière se fait ressentir et où la finance se trouve décriée pour s’être focalisée sur la valeur actionnariale, la position de l’International Federation of Accountants est révélatrice d’un changement de paradigme non sans conséquence pour la comptabilité, la finance et le droit.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été proposées pour aider les développeurs à migrer leur code. Généralement, ces approches ne peuvent identifier automatiquement les règles de modification une-remplacée-par-plusieurs méthodes et plusieurs-remplacées-par-une méthode. De plus, elles font souvent un compromis entre rappel et précision dans leur résultats en utilisant un ou plusieurs seuils expérimentaux. Nous présentons AURA (AUtomatic change Rule Assistant), une nouvelle approche hybride qui combine call dependency analysis et text similarity analysis pour surmonter ces limitations. Nous avons implanté AURA en Java et comparé ses résultats sur cinq cadriciels avec trois approches précédentes par Dagenais et Robillard, M. Kim et al., et Schäfer et al. Les résultats de cette comparaison montrent que, en moyenne, le rappel de AURA est 53,07% plus que celui des autre approches avec une précision similaire (0,10% en moins).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La présence importante de plusieurs réseaux sans-fils de différentes portées a encouragée le développement d’une nouvelle génération d’équipements portables sans-fils avec plusieurs interfaces radio. Ainsi, les utilisateurs peuvent bénéficier d’une large possibilité de connectivité aux réseaux sans-fils (e.g. Wi-Fi [1], WiMAX [2], 3G [3]) disponibles autour. Cependant, la batterie d’un nœud mobile à plusieurs interfaces sera rapidement épuisée et le temps d’utilisation de l’équipement sera réduit aussi. Pour prolonger l’utilisation du mobile les standards, des réseaux sans-fils, on définie (individuellement) plusieurs états (émission, réception, sleep, idle, etc.); quand une interface radio n’est pas en mode émission/réception il est en mode sleep/idle où la consommation est très faible, comparée aux modes émission/réception. Pourtant, en cas d’équipement portable à multi-interfaces radio, l’énergie totale consommée par les interfaces en mode idle est très importante. Autrement, un équipement portable équipé de plusieurs interfaces radio augmente sa capacité de connectivité mais réduit sa longévité d’utilisation. Pour surpasser cet inconvénient on propose une plate-forme, qu'on appelle IMIP (Integrated Management of Interface Power), basée sur l’extension du standard MIH (Media Independent Handover) IEEE 802.21 [4]. IMIP permet une meilleure gestion d’énergie des interfaces radio, d’un équipement mobile à multi-radio, lorsque celles-ci entrent en mode idle. Les expérimentations que nous avons exécutées montrent que l’utilisation de IMIP permet d'économiser jusqu'a 80% de l'énergie consommée en comparaison avec les standards existants. En effet, IMIP permet de prolonger la durée d'utilisation d'équipements à plusieurs interfaces grâce à sa gestion efficace de l'énergie.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

L’objectif de ce mémoire est de faire un état des lieux des connaissances produites sur les risques environnementaux et la vulnérabilité et appliquer ces connaissances à la ville de Kigali (Rwanda). Après avoir présenté différentes approches, nous avons retenu le cadre d’analyse qui s’inscrit dans l’approche de J.C. Thouret et R.D’Ercole (1996). Cette approche est articulée autour de trois dimensions : enjeux, facteurs de la vulnérabilité et réponses sociales. A travers l’application des éléments pertinents de ces trois dimensions dans le cas de la ville de Kigali, réalisée grâce à une analyse qualitative, centrée sur l’analyse des documents et des entrevues semi-dirigées, voici les principaux résultats que nous avons obtenus: l’analyse des enjeux a révélé que la ville de Kigali est confrontée à plusieurs dommages, parmi lesquels, on peut mentionner les pertes des vies humaines, la démolition des maisons, la contamination des rivières, la prolifération des maladies et la perturbation des besoins de base ( eau potable, électricité, transport) dues aux risques. Cette situation s’explique par la combinaison de plusieurs facteurs dont le relief collinaire, le sol granitique, les pluies violentes, le caractère centrifuge du réseau hydrographique, le sous-dimensionnement des ouvrages d’évacuation et le réseau d’assainissement insuffisant. D’autres facteurs amplifient la vulnérabilité dont l’explosion démographique consécutive à une urbanisation spontanée et inconsciente en zones inondables, l’ensablement des lits des rivières, le vide juridique, les politiques fragmentaires et le dysfonctionnement des acteurs impliqués dans la gestion des risques. Cette situation aurait probablement été améliorée si les réponses sociales étaient efficaces. Or, d’un côté, la faible perception de risque chez les résidants affectés par les risques accélère davantage la vulnérabilité et de l’autre côté, l’intervention significative des CIB n’est pas accompagnée d’actions complémentaires des institutions publiques et des agences internationales.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Réalisées aux échelles internationales et nationales, les études de vulnérabilité aux changements et à la variabilité climatiques sont peu pertinentes dans un processus de prise de décisions à des échelles géographiques plus petites qui représentent les lieux d’implantation des stratégies de réponses envisagées. Les études de vulnérabilité aux changements et à la variabilité climatiques à des échelles géographiques relativement petites dans le secteur agricole sont généralement rares, voire inexistantes au Canada, notamment au Québec. Dans le souci de combler ce vide et de favoriser un processus décisionnel plus éclairé à l’échelle de la ferme, cette étude cherchait principalement à dresser un portrait de l’évolution de la vulnérabilité des fermes productrices de maïs-grain des régions de Montérégie-Ouest et du Lac-St-Jean-Est aux changements et à la variabilité climatiques dans un contexte de multiples sources de pression. Une méthodologie générale constituée d'une évaluation de la vulnérabilité globale à partir d’une combinaison de profils de vulnérabilité aux conditions climatiques et socio-économiques a été adoptée. Pour la période de référence (1985-2005), les profils de vulnérabilité ont été dressés à l’aide d’analyses des coefficients de variation des séries temporelles de rendements et de superficies en maïs-grain. Au moyen de méthodes ethnographiques associées à une technique d’analyse multicritère, le Processus d’analyse hiérarchique (PAH), des scénarios d’indicateurs de capacité adaptative du secteur agricole susmentionné ont été développés pour la période de référence. Ceux-ci ont ensuite servi de point de départ dans l’élaboration des indicateurs de capacité de réponses des producteurs agricoles pour la période future 2010-2039. Pour celle-ci, les deux profils de vulnérabilité sont issus d’une simplification du cadre théorique de « Intergovernmental Panel on Climate Change » (IPCC) relatif aux principales composantes du concept de vulnérabilité. Pour la dimension « sensibilité » du secteur des fermes productrices de maïs-grain des deux régions agricoles aux conditions climatiques, une série de données de rendements a été simulée pour la période future. Ces simulations ont été réalisées à l’aide d’un couplage de cinq scénarios climatiques et du modèle de culture CERES-Maize de « Decision Support System for Agrotechnology Transfer » (DSSAT), version 4.0.2.0. En ce qui concerne l’évaluation de la « capacité adaptative » au cours de la période future, la construction des scénarios d’indicateurs de cette composante a été effectuée selon l’influence potentielle des grandes orientations économiques et environnementales considérées dans l’élaboration des lignes directrices des deux familles d’émissions de gaz à effet de serre (GES) A2 et A1B. L’application de la démarche méthodologique préalablement mentionnée a conduit aux principaux résultats suivants. Au cours de la période de référence, la région agricole du Lac-St-Jean-Est semblait être plus vulnérable aux conditions climatiques que celle de Montérégie-Ouest. En effet, le coefficient de variation des rendements du maïs-grain pour la région du Lac-St-Jean-Est était évalué à 0,35; tandis que celui pour la région de Montérégie-Ouest n’était que de 0,23. Toutefois, par rapport aux conditions socio-économiques, la région de Montérégie-Ouest affichait une vulnérabilité plus élevée que celle du Lac-St-Jean-Est. Les valeurs des coefficients de variation pour les superficies en maïs-grain au cours de la période de référence pour la Montérégie-Ouest et le Lac-St-Jean-Est étaient de 0,66 et 0,48, respectivement. Au cours de la période future 2010-2039, la région du Lac-St-Jean-Est serait, dans l’ensemble, toujours plus vulnérable aux conditions climatiques que celle de Montérégie-Ouest. Les valeurs moyennes des coefficients de variation pour les rendements agricoles anticipés fluctuent entre 0,21 et 0,25 pour la région de Montérégie-Ouest et entre 0,31 et 0,50 pour la région du Lac-St-Jean-Est. Néanmoins, en matière de vulnérabilité future aux conditions socio-économiques, la position relative des deux régions serait fonction du scénario de capacité adaptative considéré. Avec les orientations économiques et environnementales considérées dans l’élaboration des lignes directrices de la famille d’émission de GES A2, les indicateurs de capacité adaptative du secteur à l’étude seraient respectivement de 0,13 et 0,08 pour la Montérégie-Ouest et le Lac-St-Jean-Est. D’autre part, en considérant les lignes directrices de la famille d’émission de GES A1B, la région agricole du Lac-St-Jean-Est aurait une capacité adaptative légèrement supérieure (0,07) à celle de la Montérégie-Ouest (0,06). De façon générale, au cours de la période future, la région du Lac-St-Jean-Est devrait posséder une vulnérabilité globale plus élevée que la région de Montérégie-Ouest. Cette situation s’expliquerait principalement par une plus grande vulnérabilité de la région du Lac-St-Jean-Est aux conditions climatiques. Les résultats de cette étude doivent être appréciés dans le contexte des postulats considérés, de la méthodologie suivie et des spécificités des deux régions agricoles examinées. Essentiellement, avec l’adoption d’une démarche méthodologique simple, cette étude a révélé les caractéristiques « dynamique et relative » du concept de vulnérabilité, l’importance de l’échelle géographique et de la prise en compte d’autres sources de pression et surtout de la considération d’une approche contraire à celle du « agriculteur réfractaire aux changements » dans les travaux d’évaluation de ce concept dans le secteur agricole. Finalement, elle a aussi présenté plusieurs pistes de recherche susceptibles de contribuer à une meilleure évaluation de la vulnérabilité des agriculteurs aux changements climatiques dans un contexte de multiples sources de pression.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La non-observance représente souvent, dans la pratique clinique des professionnels de la santé, un défi à surmonter puisqu’elle est liée à une non-conformité du comportement du patient aux recommandations émises par les intervenants. Dans la région éloignée du Nunavik, divisée en 14 communautés inuit, les intervenants de la santé et des services sociaux, en raison de leur rôle élargi en première ligne, rencontrent une diversité de clientèles. La formation, l’expérience professionnelle, la perception de son rôle, le contexte de travail et le contexte socioculturel influencent l’interprétation des multiples défis au sein de la population. De hauts taux de suicide, d’alcoolisme et de violence sont présents dans les communautés inuit. La prescription des antidépresseurs est un moyen utilisé pour soulager les patients qui présentent des problèmes dépressifs. De quelle façon doit-on aborder ce phénomène complexe, et ce, dans ce contexte particulier de région autochtone éloignée? Cette recherche exploratoire descriptive vise à décrire et à interpréter le phénomène de non-observance des antidépresseurs, plus spécifiquement par l’étude des perceptions des intervenants de la santé et des services sociaux participant à l’intervention directe auprès des Inuit ayant reçu un diagnostic de dépression. L’analyse des 12 entrevues semi-dirigées répond à la question suivante : Quelles sont les perceptions des différents intervenants de la santé et des services sociaux sur le phénomène de la non-observance de la prise d’antidépresseurs chez les Inuit du Nunavik? Les résultats permettent de prendre un recul sur un phénomène courant de la pratique clinique dans cette région spécifique. Ils mettent en lumière la complexité de la relation patient-intervenant, la fragilité de l’alliance thérapeutique et l’importance des interventions d’une équipe interdisciplinaire et interculturelle dans ce contexte de pratique.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

De nombreuses études ont démontré que les adolescents qui subissent une chirurgie correctrice de scoliose éprouvent des douleurs postopératoires intenses et cela pendant plusieurs jours après leur chirurgie. L’originalité de cette étude de type quasi-expérimental, consistait à réaliser un DVD sur une technique d’imagerie guidée et de relaxation combinée à une intervention éducative (gestion de la douleur) sur la douleur, l’anxiété, le coping et le retour aux activités d’adolescents ayant subi une chirurgie correctrice de scoliose. Prenant appui sur la théorie du portillon (Melzack & Casey, 1968) et sur la théorie transactionnelle du stress et coping (Lazarus & Folkman, 1984), quatre hypothèses ont été retenues en vue de vérifier l’effet de cette intervention. Trente et un adolescents, âgés entre 13 et 19 ans ont été répartis en deux groupes de façon aléatoire. Les participantes du groupe expérimental devaient visionner un DVD sur une technique d’imagerie guidée et de relaxation combinée à de l’information sur la gestion de la douleur en période préopératoire, au moment du congé de l’hôpital et ce, au moins trois fois par semaine sur une période d’un mois post congé. De plus, ce groupe continuait à recevoir les soins usuels. Les participants du groupe contrôle ne recevaient que les soins usuels. Les instruments de mesure utilisés furent le questionnaire concis de la douleur (QCD) (Larue F, Colleau, Brasseur, & Cleeland, 1995), l’inventaire d’anxiété situationnelle et de trait d’anxiété (IASTA-Y) (Gauthier & Bouchard, 1993) et l’inventaire du coping face à la douleur pédiatrique (Spicher, 2003). Quatre temps de mesure ont été planifiés, soit la journée avant la chirurgie, au congé de l’hôpital, au 14ième jour post congé et lors de la visite à la clinique d’orthopédie à un mois post congé. Les résultats montraient que les deux groupes étaient équivalents en ce qui concernait les caractéristiques sociodémographiques et les variables dépendantes. Les participants du groupe expérimental présentaient une douleur générale ressentie dans le dernier 24 heures plus basse au 14ième jour (p = 0,012) et un mois après leur congé de l’hôpital (p = 0,049). Certaines activités quotidiennes ont démontré une différence significative au 14ième jour soit : les activités scolaires ou de travail (p = 0,046), et les activités de soutien vital (manger, dormir) (p = 0,024), Par contre, nous n’avons pas observé de différence significative au niveau de l’anxiété situationnelle et des stratégies adaptatives de coping entre les deux groupes. L’auteur conclut que le niveau de douleur postopératoire des adolescents qui ont subi une chirurgie correctrice de scoliose peut être réduit par un visionnement d’un DVD sur une technique d’imagerie guidée et de relaxation combinée à une intervention éducative (information sur la douleur). De plus, ceci semble avoir un effet positif sur le retour plus rapide de certaines activités quotidiennes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Récemment, un nombre grandissant de jeunes ayant des troubles du comportement ont été intégrés dans les classes régulières. Afin de soutenir cette intégration, plusieurs programmes d’intervention ont émergé et été implantés dans les écoles québécoises. Parmi ces programmes, on retrouve le programme l’Allié, qui se distingue des autres, notamment, par l’utilisation de pairs aidants. Ce cadre d’intervention prometteur soulève cependant certains questionnements sur la possibilité d’influence négative entre les jeunes. L’objectif de l’étude est de décrire, dans une approche comportementale, le processus d'influence entre pairs. Une méthodologie d’observation systématique des interactions sociales est privilégiée. Les résultats indiquent qu’il n’y a pas eu d’influence négative dans les groupes l’Allié. Les comportements perturbateurs ont eu plus de chances de cesser lorsque les participants les ont ignorés, que lorsque les pairs ont réagi à ces comportements. L’ignorance intentionnelle d’un comportement semble donc constituer un processus d’influence important dans les groupes de jeunes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Ce mémoire étudie les conditions d’émergence du mouvement Tea Party. Nous cherchons à savoir si la mobilisation a été facilitée par la présence d’opportunités politiques, telles que proposées dans la littérature sur les mouvements sociaux. À l’aide d’une analyse de contenu, il a été possible d’observer trois opportunités dans une période comprise entre février 2009 et octobre 2010. Dans cette même période, il a été aussi possible d’identifier la fréquence et la nature de la mobilisation, qui prend la forme de protestations et de réunions informelles. Nous en arrivons à la conclusion que ces opportunités étaient présentes lors de l’émergence du mouvement social. En effet, la présence d’enjeux spécifiques, d’une division partisane ainsi que d’alliés coïncide avec une augmentation substantielle de la mobilisation. Les élections de mi-mandat semblent avoir transformé un mouvement axé sur les protestations vers une action politique conventionnelle.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Le portrait captive lorsqu’il est envisagé comme présence humaine et qu’il tend à se soustraire à l’interprétation analytique. Prenant appui sur ce constat, le mémoire se penche sur la réponse spectatorielle induite par des portraits photographiques dont l’opacité pose un défi à l’attribution de significations précises. Ces portraits, qui abordent le thème de la mort, appartiennent au corpus "What Remains" (2000-2004) de l’artiste américaine Sally Mann. Ils réactualisent le procédé obsolète du collodion, revisitent le vocabulaire formel du pictorialisme et évoquent l’imagerie mortuaire du 19e siècle. Par ces citations historiques, les œuvres gênent la lecture du référent et introduisent des renversements de sens: elles troublent toute certitude dans la perception et toute littéralité dans l’interprétation. Le mémoire étudie les diverses stratégies citationnelles à la source de cette opacification et examine comment celles-ci tendent à établir les conditions de l’expérience esthétique. Après avoir réévalué certains présupposés théoriques sur la photographie, les paramètres techniques, formels et iconographiques des œuvres sont passés en revue afin d’évaluer leur impact respectif. En s’appuyant sur un cadre issu de la théorie des médias et de la psychanalyse, le travail du médium émerge comme le principal déterminant de l’expérience de ces portraits contemporains.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Les simulations ont été implémentées avec le programme Java.