Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

Un corps à soi : socio-anthropologie des corps vulnérables au féminin dans La cloche de verre (2004), Malina (2000) et Tout comme elle (2006) de Sibyllines

Les mises en scène de Brigitte Haentjens placent la corporéité de l’acteur au centre de la représentation théâtrale et le travail sur le corps qu’elle opère transforme ce dernier en un matériau précis et original, touchant directement le spectateur. Afin de dégager une poétique du travail de la metteure en scène, trois transpositions scéniques partageant le thème de l’oppression féminine – La cloche de verre (2004), Malina (2000), Tout comme elle (2006) – sont analysées pour cerner les procédés scéniques grâce auxquels Brigitte Haentjens fait du corps un vecteur de signifiance. Un chapitre sera consacré à chacune des mises en scène afin de démontrer l’hypothèse avancée, qui veut que le contact créé entre le corps des acteurs et les spectateurs viendrait de la vulnérabilité des corps en scène. Ainsi, ce sont des corps féminins dispersés, opprimés et libérés qui seront ici scrutés. La vectorisation proposée par Patrice Pavis permettra de parcourir chacune des productions théâtrales, l’anthropologie théâtrale d’Eugenio Barba servira à nommer l’énergie déployée en scène et la sociologie servira à lier la soumission des personnages féminins aux règles instaurées par la société. Au terme de cette recherche, une poétique de la représentation des corps vulnérables mis en scène par Brigitte Haentjens sera tracée.

Étude de l’évolution des génomes par duplications, pertes et réarrangements

La duplication est un des évènements évolutifs les plus importants, car elle peut mener à la création de nouvelles fonctions géniques. Durant leur évolution, les génomes sont aussi affectés par des inversions, des translocations (incluant des fusions et fissions de chromosomes), des transpositions et des délétions. L'étude de l'évolution des génomes est importante, notamment pour mieux comprendre les mécanismes biologiques impliqués, les types d'évènements qui sont les plus fréquents et quels étaient les contenus en gènes des espèces ancestrales. Afin d'analyser ces différents aspects de l'évolution des génomes, des algorithmes efficaces doivent être créés pour inférer des génomes ancestraux, des histoires évolutives, des relations d'homologies et pour calculer les distances entre les génomes. Dans cette thèse, quatre projets reliés à l'étude et à l'analyse de l'évolution des génomes sont présentés : 1) Nous proposons deux algorithmes pour résoudre des problèmes reliés à la duplication de génome entier : un qui généralise le problème du genome halving aux pertes de gènes et un qui permet de calculer la double distance avec pertes. 2) Nous présentons une nouvelle méthode pour l'inférence d'histoires évolutives de groupes de gènes orthologues répétés en tandem. 3) Nous proposons une nouvelle approche basée sur la théorie des graphes pour inférer des gènes in-paralogues qui considère simultanément l'information provenant de différentes espèces afin de faire de meilleures prédictions. 4) Nous présentons une étude de l'histoire évolutive des gènes d'ARN de transfert chez 50 souches de Bacillus.

A study of culture specific items and translation strategies in Bahram Beyza'i’s play “Marionettes”

L'objectif de cette recherche est de fournir une analyse de la pièce de théâtre perse ''Marionettes'' de Bahrām Beyzā'ī (1963) ainsi que de sa traduction anglaise (1989) afin de comparer et de mettre en contraste les traits propres à la culture «Culture-specific items» (CSI) et des stratégies de traduction. Les formes problématiques pertinentes des différences culturelles seront étudiées et les procédés suggérés par Newmark (1988) seront examinés afin de déterminer dans quelle mesure ils sont pertinents dans la traduction des différences culturelles du perse à l'anglais. La pièce a été traduite par une équipe de traducteurs: Sujata G.Bhatt, Jacquelin Hoats, Imran A. Nyazee et Kamiar K. Oskouee. (Parvin Loloi et Glyn Pursglove 2002:66). Les oeuvres théâtrales de Beyzā'ī sont basées sur les traditions ainsi que sur le folklore iranien. L'auteur aborde la réalité sous une perspective philosophique. « (Un point de vue) enveloppé dans une cape de comparaisons complexes à tel point que nombre des personnages de son oeuvre errent entre des symboles de la mythologie et de l’histoire, ou sociaux» (M.R. Ghanoonparvar, John Green 1989, p.xxii notre traduction). La classification des éléments culturels de Newmark (1988) va comme suit: «Écologie, culture matérielle, culture sociale, organisations, coutumes / moeurs, gestes et habitudes» (Newmark 1988:95). La recherche mettra l’accent sur les procédés suggérés pour traduire les CSI ainsi que sur les stratégies de traduction selon Newmark. Ces procédés comprennent : «traduction littérale, transfert, équivalent culturel, neutralisation, équivalent fonctionnel, équivalent descriptif, synonymie, par le biais de la traduction, transposition, modulation, traduction reconnue, étiquette de traduction, compensation, analyse componentielle, réduction et expansion, paraphraser, distique, notes, additions, gloses» (Newmark 1988:81-93). L'objectif ici est de déterminer si les procédés suggérés sont applicables à la traduction des CSIs du perse à l'anglais, et quels sont les procédés les plus fréquemment utilisés par les traducteurs.