Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

Le primitivisme : entre sujet et objet

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

Système de l'objet théâtral chez Beckett et Ionesco : le rôle du décor et des accessoires dans la réification du corps

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

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.

Dance and the colonial body : re-choreographing postcolonial theories of the body

Cette dissertation traite la danse comme une catégorie d’analyse permettant de réorienter ou de ré-chorégraphier les théories postcoloniales du corps. Mon étude montre qu’ Edward Said, par exemple, décrit la danse seulement à travers le regard impérial, et que Homi Bhabha et Gayatri Spivak négligent complètement le rôle de la dance dans la construction de la subjectivité postcoloniale. Mon étude explique que Stavros Karayanni récemment explore la danse masculine et féminine comme espaces de résistance contre la domination coloniale. Toutefois, l’analyse de Karayanni met l’accent seulement sur le caractère insaisissable de la danse qui produit une ambigüité et une ambivalence dans le regard du sujet impériale. Contrairement aux approches de Said et de Karayanni, ma dissertation explore la danse comme un espace ou le corps du sujet colonisé chorégraphie son histoire collective que l’amnésie coloniale ne cesse de défigurer au moyen de l’acculturation et de marchandisation. Je soutiens que la danse nous offre la possibilité de concevoir le corps colonisé non seulement dans son ambiguïté, comme le souligne Karayanni, mais aussi dans son potentiel de raconter corporellement sa mémoire collective de l’intérieur de la domination impériale. Ma dissertation soutient que les catégories de l’ambiguïté et de l’insaisissabilité mystifient et fétichisent le corps dansant en le décrivant comme un élément évasif et évanescent. Ma dissertation inclut plusieurs traditions culturelles de manière à réorienter la recherche ethnographique qui décrit la dance comme articulation codée par une culture postcoloniale spécifique. Mon étude montre comment le corps colonisé produit un savoir culturel à partir de sa différence. Cette forme de savoir corporelle présente le corps colonisé en tant que sujet et non seulement objet du désir colonial. Méthodologiquement, cette dissertation rassemble des théories occidentales et autochtones de la danse. Mon étude considère aussi les théories postcoloniales du corps dansant à partir des perspectives hétérosexuelles et homosexuelles. En outre, mon étude examine les manières dont les quelles les théories contemporaines de la danse, postulées par Susan Foster et André Lepecki par exemple, peuvent être pertinentes dans le contexte postcolonial. Mon étude explore également le potentiel politique de l’érotique dans la danse à travers des représentations textuelles et cinématographiques du corps. L’introduction de ma dissertation a trois objectifs. Premièrement, elle offre un aperçu sur les théories postcoloniales du corps. Deuxièmement, elle explique les manières dans lesquelles on peut appliquer des philosophies contemporaines de la danse dans le contexte postcoloniale. Troisièmement, l’introduction analyse le rôle de la dance dans les œuvres des écrivains postcoloniales célèbres tels que Frantz Fanon, Wole Soyinka, Arundhati Roy, et Wilson Harris. Le Chapitre un remet en question les théories de l’ambiguïté et de l’insaisissabilité de la danse à partir de la théorie de l’érotique postulé par Audre Lorde. Ce chapitre examine le concept de l’érotique dans le film Dunia de Jocelyne Saab. Le Chapitre deux ouvre un dialogue entre les théories occidentales et autochtones de la danse à partir d’une étude d’un roman de Tomson Highway. Le Chapitre trois examine comment l’écrivain Trinidadien Earl Lovelace utilise la danse de carnaval comme espace culturel qui reflète l’homogénéité raciale et l’idéologie nationaliste à Trinidad et en les remettant également en question.

Orientalisme 2.0 : la Révolution verte iranienne en images

Depuis la colonisation jusqu’aux plus récents conflits qui affectent le « Moyen-Orient », le visuel participe à la création d’une image raciale et sexuelle du monde musulman dans laquelle l’Orient « archaïque » est représenté comme l’opposé moral de l’Occident « moderne ». Ce discours nommé Orientalisme (Saïd 1994) transforme l’Orient en objet du savoir et du regard occidental (Nochlin 1989). La peinture, la photographie, et les expositions universelles sont autant de moyens qui permettent d’instaurer un point de vue privilégié de l’Occident sur l’Orient. Avec le Web 2.0 et les technologies mobiles, le partage d’images fait partie intégrale de notre quotidien et celles-ci nous proviennent de partout et de n’importe qui. En considérant que l’Orientalisme est indissociable des techniques modernes de représentation du monde (Mitchell 2013), le présent mémoire souhaite interroger l’impact de ces nouvelles technologies sur la production, la circulation et la réception des images du dit Orient. Nous concentrerons notre étude sur les images captées et partagées depuis les manifestations de la Révolution verte iranienne de juin 2009, entre autres la vidéo de l’assassinat de la jeune Neda Agha Soltan qui a fait la une des médias occidentaux. En prenant comme base les écrits d’Edward Saïd, que nous réviserons par le biais de lectures féministes, nous verrons que l’Orientalisme visuel mute au rythme des changements politiques, culturels et technologiques qu’il rencontre. En plus d’éclairer les images de notre corpus, la question féministe nous permettra d’élargir la définition et les mécanismes de l’Orientalisme proposés par Saïd. Nous démontrerons que tout en ayant le potentiel de bouleverser l’image que construit l’Occident de l’Orient, le Web 2.0 actualise aussi l’Orientalisme visuel sous de nouveaux modes de production du savoir.

Le Verre de Charlemagne : rencontres méditerranéennes

« Pour respecter les droits d'auteur, la version électronique de ce mémoire a été dépouillée de certains documents visuels et audio-visuels. La version intégrale du mémoire a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal ».

Orientar desde el Ser : algunas aportaciones del programa Orient@cual para la elaboraci??n del proyecto profesional y vital de alumnado de PCPI y CFGM

Resumen basado en el de la publicaci??n