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.

Influence et usage de la mémoire dans la vision officielle française de l’Allemagne réunifiée (1989-1995)

Ce mémoire part du constat que l’histoire et, a fortiori, la mémoire ont été largement sollicitées par le discours officiel français au moment et au lendemain de la réunification allemande. La fin définitive de l’après-guerre et le retour à la souveraineté diplomatique de l’Allemagne suscitent en France des questions qui inquiètent – en raison notamment du souvenir de l’histoire – et raniment la volonté d’encadrer la puissance allemande dans la communauté européenne. Pour comprendre le rôle que la mémoire a pu tenir dans la diplomatie française, l’étude tente d’analyser l’usage que les responsables français ont fait du passé en tant qu’instrument de la politique étrangère et le poids qu’il a représenté dans la vision française de l’unification allemande. Ce mémoire démontre que l’entendement du passé se conforme, sous toutes ses expressions, à la politique européenne de la France. Il atteste également que la France se saisit de ce moment charnière pour structurer un espace européen qui fait écho aux principes universalistes issus de la Révolution française, lesquels doivent être désormais portés par le binôme franco-allemand. L’invention de la tradition et l’usage métaphorique du passé répondent d’une préoccupation politique de réconciliation franco-allemande et accompagnent la mise en place d’un patriotisme historique sur lequel pourront s’établir les identités civique et juridique européennes. La mémoire officielle, qui est entièrement orientée vers la promotion et la justification de l’avenir communautaire, dénature certaines données historiques de manière à exorciser le présent d’un passé encombrant. Les limites de la mémoire officielle se trouvent donc dans cette représentation d’un passé aseptisé; un passé n’étant pas une finalité, mais un moyen déférant à l’intérêt national.

La représentation de la tragédie humaine dans la littérature des génocides du XXe siècle : les enjeux de la mise en récit d’une expérience catastrophique

Étant tous les deux récits d’événements, l’histoire et le roman ne sont pas logés à la même enseigne : le contenu du texte romanesque est habituellement considéré comme le contraire de celui du texte historique. On suppose que l’histoire raconte les vraies choses alors que le roman excelle dans l’imaginaire. Dans la représentation des génocides, le discours romanesque et celui historique partagent de nombreuses stratégies narratives à partir desquelles se réalise la relecture de l’expérience tragique. De nombreux artifices incitent le discours à se contenter d’être le (trans)porteur d’une conscience souveraine qui transcende les faits, le temps et l’espace reliés à l’événement. Ni l’histoire ni le roman ne sont reconstitutions expérientielles, mais le procédé de mise en récit doit démontrer une épaisseur discursive pouvant produire chez le lecteur la représentation d’un monde. Cette thèse prend pour objet les modalités littéraires des récits et des romans qui essayent de représenter l’expérience du génocide. En analysant ce dispositif discursif qui ne fait plus de différence entre le réel, le vrai et la vraisemblance, les livres de notre corpus présentent l’expérience du génocide et pensent les brisures et les déchirures d’humanité constatées dans différentes régions du monde (dans l’Empire ottoman, dans l’Allemagne nazie, en Bosnie, au Rwanda, etc.). Dans cette perspective, nous examinons la littérarisation de ces événements horribles qui se déroulent suivant un schéma narratif formé de séquences véridiques et de scènes imaginaires mettant en exergue toutes les innovations stylistiques et langagières qui font la singularité et l’originalité des ces œuvres. Fort de ces spécificités, les quatre principaux romans de notre corpus (Journal de déportation, Être sans destin, Le soldat et le gramophone et Le Passé devant soi) s’appuient sur une vraisemblance littéraire ou poétique qui leur permet d’aller à la quête d’une vérité ; une vérité littéraire non seulement subjective, mais en mesure d’accompagner la vérité historique.

Masculinité en crise : transformation des pratiques et des représentations de la masculinité chez les jeunes salariés japonais

Durant la deuxième moitié du 20e siècle, divers aménagements structurels ont amené l’idéologie du système d’entreprise japonais à être acceptée globalement, non seulement comme un modèle légitime, mais aussi comme un modèle à suivre (et à poursuivre). Figure emblématique de ce système, le « salaryman » – employé masculin régulier des grandes entreprises ou administrations japonaises – s’est imposé au sein de la société japonaise. L’idéologie que véhicule le système d’entreprise a dès lors été interprétée par quelques auteurs comme un discours hégémonique, une image culturellement dominante du travail et de la vie quotidienne au Japon. Aujourd’hui, à la suite d’une conjoncture économique particulière fruit de la crise économique des années 1990, l’image du salaryman s’effrite et son caractère hégémonique tend à se fragmenter pour laisser place à de nouvelles pratiques et à de nouvelles valeurs souvent antagonistes avec les discours et les représentations du travail et de la masculinité qui ont dominé jusqu’alors. Une analyse historique et une enquête de terrain (entrevues semi-directives) nous montreront à la fois pourquoi le salaryman peut être compris comme un discours hégémonique et comment les nouvelles pratiques et représentations des jeunes japonais témoignent du caractère nouvellement fragmentaire de l’image du salaryman en contexte de crise. Ces résultats nous amèneront à considérer plus globalement l’implication des transformations du système d’emploi dans le changement social au Japon.

A Representation of Risk Measures

We provide a representation theorem for risk measures satisfying (i) monotonicity; (ii) positive homogeneity; and (iii) translation invariance. As a simple corollary to our theorem, we obtain the usual representation of coherent risk measures (i.e., risk measures that are, in addition, sub-additive; see Artzner et al. [2]).

The typic in Kant’s critique of practical reason : moral judgment and symbolic representation

Comment pouvons-nous représenter un principe moral universel de manière à le rendre applicable à des cas concrets ? Ce problème revêt une forme aiguë dans la philosophie morale d’Emmanuel Kant (1724-1804), tout particulièrement dans sa théorie du jugement moral, car il soutient que l’on doit appliquer la loi morale « suprasensible » à des actions dans le monde sensible afin de déterminer celles-ci comme moralement bonnes ou mauvaises. Kant aborde ce problème dans un chapitre de la Critique de la raison pratique (1788) intitulé « De la typique de la faculté de juger pratique pure » (KpV 5: 67-71). La première partie de la thèse vise à fournir un commentaire compréhensif et détaillé de ce texte important, mais trop peu étudié. Étant donné que la loi morale, en tant qu’Idée suprasensible de la raison, ne peut pas être appliquée directement à des actions dans l’intuition sensible, Kant a recours à une forme particulière de représentation indirecte et symbolique. Sa solution inédite consiste à fournir la faculté de juger avec un « type [Typus] », ou analogue formel, de la loi morale. Ce type est la loi de la causalité naturelle : en tant que loi, il sert d’étalon formel pour tester l’universalisabilité des maximes ; et, en tant que loi de la nature, il peut aussi s’appliquer à toute action dans l’expérience sensible. Dès lors, le jugement moral s’effectue par le biais d’une expérience de pensée dans laquelle on se demande si l’on peut vouloir que sa maxime devienne une loi universelle d’une nature contrefactuelle dont on ferait soi-même partie. Cette expérience de pensée fonctionne comme une « épreuve [Probe] » de la forme des maximes et, par ce moyen, du statut moral des actions. Kant soutient que tout un chacun, même « l’entendement le plus commun », emploie cette procédure pour l’appréciation morale. De plus, la typique prémunit contre deux menaces à l’éthique rationaliste de Kant, à savoir l’empirisme (c’est-à-dire le conséquentialisme) et le mysticisme. La seconde partie de la thèse se penche sur l’indication de Kant que la typique « ne sert que comme un symbole ». Un bon nombre de commentateurs ont voulu assimiler la typique à la notion d’« hypotypose symbolique » présentée dans le § 59 de la Critique de la faculté de juger (1790). La typique serait un processus de symbolisation esthétique consistant à présenter, de façon indirecte, la représentation abstraite de la loi morale sous la forme d’un symbole concret et intuitif. Dans un premier chapitre, cette interprétation est présentée et soumise à un examen critique qui cherche à montrer qu’elle est erronée et peu judicieuse. Dans le second chapitre, nous poursuivons une voie d’interprétation jusqu’ici ignorée, montrant que la typique a de plus grandes continuités avec la notion d’« anthropomorphisme symbolique », une procédure strictement analogique introduite auparavant dans les Prolégomènes (1783). Nous en concluons, d’une part, que la typique fut un moment décisif dans l’évolution de la théorie kantienne de la représentation symbolique et que, d’autre part, elle marque la réalisation, chez Kant, d’une conception proprement critique de la nature et de la morale comme deux sphères distinctes, dont la médiation s’opère par le biais des concepts de loi et de conformité à la loi (Gesetzmässigkeit). En un mot, la typique s’avère l’instrument par excellence du « rationalisme de la faculté de juger ».

Arab Women in Translation : the Dynamics of Representation and the Construction of Alterity

Cette recherche examine la traduction et la réception en France, en Grande Bretagne et aux États-Unis de la littérature contemporaine d’expression arabe écrite par des femmes, afin de répondre à deux questions principales: comment les écrivaines provenant de pays arabes perdent-elles leur agentivité dans les processus de traduction et de réception? Et comment la traduction et la réception de leurs textes contribuent-elles à la construction d’une altérité arabe? Pour y répondre, l’auteure examine trois romans présentant des traits thématiques et formels très différents, à savoir Fawḍā al-Ḥawāss (1997) par Ahlem Mosteghanemi, Innahā Lundun Yā ‘Azīzī (2001) par Hanan al-Shaykh et Banāt al-Riyāḍ (2005) par Rajaa Alsanea. L’analyse, basée sur le modèle à trois dimensions de Norman Fairclough, vise à découvrir comment les écrivaines expriment leur agentivité à travers l’écriture, et quelles images elles projettent d’elles-mêmes et plus généralement des femmes dans leurs sociétés respectives. L’auteure se penche ensuite sur les traductions anglaise et française de chaque roman. Elle examine les déplacements qui s’opèrent principalement sur le plan de la texture et le plan pragma-sémiotique, et interroge en quoi ces déplacements ébranlent l’autorité des écrivaines. Enfin, une étude de la réception de ces traductions en France, en Grande Bretagne et aux États-Unis vient enrichir l’analyse textuelle. À cette étape, les critiques éditoriales et universitaires ainsi que les choix éditoriaux relatifs au paratexte sont scrutés de façon à mettre en lumière les processus décisionnels, les discours et les tropes sous-tendant la mise en marché et la consommation de ces traductions. L’analyse des originaux révèle tout d’abord qu’à travers leurs textes, les auteures sont des agentes actives de changement social. Elles s’insurgent, chacune à sa manière, contre les discours hégémoniques tant locaux qu’occidentaux, et (ré-)imaginent leurs sociétés et leurs nations. Ce faisant, elles se créent leur propre espace discursif dans la sphère publique. Toutefois, la thèse montre que dans la plupart des traductions, les discours dissidents sont neutralisés, l’agentivité et la subjectivité des écrivaines minées au profit d’un discours dominant orientaliste. Ce même discours semble sous-tendre la réception des romans en traduction. Dans ce discours réifiant, l’expression de la différence culturelle est inextricablement imbriquée dans l’expression de la différence sexuelle: la « femme arabe » est la victime d’une religion islamique et d’une culture arabe essentiellement misogynes et arriérées. L’étude suggère, cependant, que ce sont moins les interventions des traductrices que les décisions des éditeurs, le travail de médiation opéré par les critiques, et l’intérêt (ou le désintérêt) des universitaires qui influencent le plus la manière dont ces romans sont mis en marché et reçus dans les nouveaux contextes. L’auteure conclut par rappeler l’importance d’une éthique de la traduction qui transcende toute approche binaire et se fonde sur une lecture éthique des textes qui fait ressortir le lien entre la poétique et la politique. Enfin, elle propose une lecture basée sur la reconnaissance du caractère situé du texte traduit comme du sujet lisant/traduisant.

Reforming Federal Systems: Insights from Australia, Canada, Germany and Switzerland

Série de l'Observatoire des fédérations

Squeezed Coherent State Representation of Scalar Field and Particle Production in the Early Universe

The present work is an attempt to explain particle production in the early univese. We argue that nonzero values of the stress-energy tensor evaluated in squeezed vacuum state can be due to particle production and this supports the concept of particle production from zero-point quantum fluctuations. In the present calculation we use the squeezed coherent state introduced by Fan and Xiao [7]. The vacuum expectation values of stressenergy tensor defined prior to any dynamics in the background gravitational field give all information about particle production. Squeezing of the vacuum is achieved by means of the background gravitational field, which plays the role of a parametric amplifier [8]. The present calculation shows that the vacuum expectation value of the energy density and pressure contain terms in addition to the classical zero-point energy terms. The calculation of the particle production probability shows that the probability increases as the squeezing parameter increases, reaches a maximum value, and then decreases.

Squeezed Coherent State Representation of Scalar Field and Particle Production in the Early Universe

The present work is an attempt to explain particle production in the early univese. We argue that nonzero values of the stress-energy tensor evaluated in squeezed vacuum state can be due to particle production and this supports the concept of particle production from zero-point quantum fluctuations. In the present calculation we use the squeezed coherent state introduced by Fan and Xiao [7]. The vacuum expectation values of stressenergy tensor defined prior to any dynamics in the background gravitational field give all information about particle production. Squeezing of the vacuum is achieved by means of the background gravitational field, which plays the role of a parametric amplifier [8]. The present calculation shows that the vacuum expectation value of the energy density and pressure contain terms in addition to the classical zero-point energy terms. The calculation of the particle production probability shows that the probability increases as the squeezing parameter increases, reaches a maximum value, and then decreases.

DNA Sequence Representation methods

DNA sequence representation methods are used to denote a gene structure effectively and help in similarities/dissimilarities analysis of coding sequences. Many different kinds of representations have been proposed in the literature. They can be broadly classified into Numerical, Graphical, Geometrical and Hybrid representation methods. DNA structure and function analysis are made easy with graphical and geometrical representation methods since it gives visual representation of a DNA structure. In numerical method, numerical values are assigned to a sequence and digital signal processing methods are used to analyze the sequence. Hybrid approaches are also reported in the literature to analyze DNA sequences. This paper reviews the latest developments in DNA Sequence representation methods. We also present a taxonomy of various methods. A comparison of these methods where ever possible is also done

Higher education in the Federal Republic of Germany - devolpments and recent issues

Center of European Studies, Graduate School and University Center of the City University of New York