Développement logiciel par transformation de modèles

La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants. Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution. Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres.

Une étude des conceptions de l’opinion publique chez les chroniqueurs politiques et éditorialistes québécois

Dans les démocraties occidentales, la notion d’opinion publique occupe une place importante dans l’action des politiciens et le discours des médias. Elle y renvoie généralement à la somme des opinions individuelles des citoyens, aux résultats de sondages. Or, les limites de l’opinion publique ainsi conceptualisée apparaissent de plus en plus clairement aux chercheurs en sciences sociales, et cela jette un doute sur sa valeur comme guide des politiques publiques. Pour mieux comprendre la place de l’opinion publique dans le processus démocratique québécois, nous avons cherché à connaître les conceptions qu’en ont certains acteurs-clés : les chroniqueurs politiques et éditorialistes francophones du Québec. Au moyen d’entrevues, nous avons documenté leurs « théories profanes » à ce sujet, c’est à dire leurs façons de voir l’opinion publique et sa place dans le processus démocratique. L’exercice nous apprend que ces « commentateurs habituels » distinguent plusieurs formes d’opinion publique, de valeur inégale. Celle qui revêt le plus d’intérêt pour eux est une « opinion publique latente », qui intègre des dimensions d’intensité et de propension à changer. Ils jugent les sondages utiles mais insuffisants pour appréhender l’opinion publique; aussi l’interprètent-ils à partir de conversations et d’un certain « sens de l’opinion publique ». Selon eux, les médias peuvent influencer l’opinion publique, mais surtout influencer la tenue d’une délibération publique et la façon dont les décideurs lisent l’opinion publique. Ils estiment aussi pouvoir, par leur travail journalistique, favoriser l’émergence d’une opinion publique raisonnée, ce qui est conforme à leur idéal de démocratie participative.

Portrait du journalisme à la pige à l’heure de la convergence

Cette recherche explore le journalisme indépendant dans le contexte contemporain de convergences socio-techno-médiatiques. Je questionne ici l’existence d’un lien entre les pratiques de pige et de convergence en journalisme et son apport dans le développement de l’univers journalistique. Il s’agit d’une étude exploratoire et empirique, consacrée aux expériences des journalistes indépendants et développée autour des concepts de tactique, résistance, liberté et gouvernance. J’ai constitué ainsi un cadre théorique à partir de l’articulation théorique de Michel Foucault relative au pouvoir. Je défends l’idée selon laquelle la pige et la convergence en journalisme sont chacun des mouvements libres qui coexistent et qui, ensemble, constituent une force motrice pour le dispositif de pouvoir que le journalisme représente dans un système démocratique avancé. La liberté de mouvement des journalistes indépendants leur permet de mener plus loin le journalisme dans le contexte actuel de convergences et d’augmenter l’horizon d’applicabilité de ce domaine de la communication de masse.

Praxiology of evil: Thinking about threats and their effectiveness

Comment rationnellement peut-on imaginer les stratégies de menace, si l’on veut influencer les actions d’autrui? Dans cette conférence l’auteur essaie de montrer que les menaces de coercition ne fonctionnent pas dans des situations duelles sans contexte social. Il montre qu’elles fonctionnent seulement si on ajoute des éléments sociaux comme les institutions. En d’autres termes, les menaces efficientes entre sujets rationnels fonctionnent seulement si elles sont confortées par les institutions. C’est une sorte d’argument Hobbésien qui montre que dans l’état de nature le pouvoir social n’existe pas. Le pouvoir social est une construction sociale

Relating Fragile States to Social and Human Fragilities

Fragile States is a way of naming this particular category of states that have weak performance, insufficient service delivery, weak administrative and government power, and lack of legal rules. Little consideration is usually made to the fact that their own societies may also be fragile and easily jeopardised by inappropriate economic measures or external events. Poverty traps and social exclusion, unjust inequalities with lack of equity, feelings of insecurity and vulnerability, usually undermine the social fabric. Moreover, the people bear their own internal fragilities, which are based on the lack of capabilities and recognition, and interfere in the relationships between the groups that constitute the society. Therefore, dealing with the issue of fragility requires to consider various decision levels, from the personal one to the State level. Such an approach could allow fragile states to conceive preventive policies that would avoid the surge of a political crisis resulting from the combination of social conflict and individual failure.

La transmission intergénérationnelle de la mémoire chilienne du passé récent répressif : de Santiago à Montréal

Le 11 septembre 1973, un coup d’État orchestré par les Forces Armées chiliennes met fin à trois années de gouvernement socialiste dirigé par Salvador Allende. Augusto Pinochet, à la tête du putsch, installe au pouvoir une violente dictature militaire pour dix-sept ans. Événement synonyme de trauma et instigateur d’une période répressive, ou sauvetage national venant freiner la descente aux enfers socialistes? La mémoire de la société chilienne demeure fragmentée vis-à-vis de son passé récent. Cette étude cherche à définir la transmission intergénérationnelle de la mémoire du passé répressif. Menée sur deux fronts, soit à Santiago et à Montréal, la présente recherche s’applique à établir quelles sont les interprétations du passé récent de la génération « postmémoire », c’est-à-dire des personnes nées peu avant ou durant la dictature. Les représentations, les perceptions, ainsi que les canaux d’apprentissage seront mis en perspective selon le territoire, afin de dégager les discours communs et antagonistes. Prenant assise sur des sources orales, ce mémoire présentera les différentes versions du passé selon vingt-huit témoignages.

Excommunication : la puissance de la création langagière contemporaine

Cette thèse aborde la question de la valeur de la littérature contemporaine, en posant la question de la puissance de la création langagière. Dans la mesure où l’humanisme tombe en désuétude avec la fin de l’hégémonie médiatique de l’imprimerie, et où le capitalisme contemporain assigne à la culture un rôle économique et récréatif, la « littérature » se retrouve sans « critère final » pour penser sa puissance non économique. En d’autres termes, quels sont les effets intermédiaux de la création langagière livresque qui survivent à l’humanisme tout en résistant à la communication récréative? Il en va bien sûr de la nature même de la « création littéraire ». Le premier chapitre explore les liens entre l’humanisme et l’imprimerie à partir d’un concept de fongibilité, et introduit un ensemble de concepts clé. Le deuxième chapitre présente un autre ensemble de concepts (dont le geste vertical), cette fois pour penser le langage en termes de pouvoir et de puissance. Le troisième chapitre aborde le « capitalisme civilisationnel » en termes intermédiaux. On y réfléchit sur la saturation, la séparation et la fenestration, notamment à partir d’une éthique du jeu. Le quatrième chapitre traite de la question de la plasticité. Enfin, les cinquième et sixième chapitres forment deux exemples – des exemples de puissance – à partir des oeuvres de Valère Novarina (Lumières du corps) et de David Foster Wallace (Infinite Jest). Le corpus théorique se compose d’éléments puisés d’une part dans l’oeuvre de Walter Benjamin et de Giorgio Agamben, selon un matérialisme messianique, et d’autre part dans celle de Gilles Deleuze. Certaines considérations sont également tenues sous l’influence de Michel Foucault et de Ludwig Wittgenstein.

L’institutionnalisation de la migration masculine chez les Mossi : une étude d’un changement socioculturel au Burkina Faso

Depuis plus de cent ans, les Mossi du Burkina Faso évoluent avec les migrations de travail. Entre les travaux forcés de l’ère coloniale et les flux migratoires actuels, la migration est devenue une institution centrale chez les Mossi. Elle s’est imposée comme une solution aux bouleversements engendrés par de l’économie de marché, la dégradation de leur environnement et les tensions internes. Il s’est développé un système normatif qui soutient et qui perpétue ces comportements migratoires. Cette intégration institutionnelle a cependant engendré un affaiblissement de la gérontocratie et du patriarcat ce qui a déséquilibré l’organisation sociale « traditionnelle ». À partir de la méthode de l’anthropologie du changement social, ce mémoire propose une étude locale et diachronique des transformations générées par le processus migratoire. Il explique comment la migration s’est institutionnalisée, quelles sont les conséquences sur les rapports de pouvoir et quels sont les innovations, les résistances et les métissages qui en découlent. Ainsi, les migrations de travail devaient être une réponse à la crise socioéconomique vécue par les Mossi, mais par son institutionnalisation, elles sont également apparues être l’une des principales causes de cette crise.

Le dommage moral et le préjudice extrapatrimonial

Notre recherche visait au départ l'analyse de la substance du dommage moral: retrouver les sentiments à l'intérieur des chefs de dommage moral. Une première lecture des jugements québécois publiés, rendus entre le 1er janvier 1950 et le 31 décembre 2008 et à l'intérieur desquels des dommages et intérêts ont été octroyés pour réparer un dommage moral en matière de responsabilité civile extracontractuelle, laisse une impression de confusion et de désordre, tant au plan terminologique qu'au plan conceptuel. Dommage moral, préjudice extrapatrimonial, dommage non pécuniaire, préjudice moral: autant de termes qui rendent impossible une synthèse des chefs de préjudice. C'est finalement à l'analyse des raisons de cette confusion, aux formes qu'elle prend, aux moyens déployés par les juristes pour, sinon la surmonter, du moins la contenir, que la présente thèse est consacrée. Malgré cette confusion et ce désordre, un constat général d'homogénéité et de stabilité des discours judiciaire et juridique sur le préjudice extrapatrimonial peut d'abord être tracé. Le dommage moral et le préjudice extrapatrimonial (les deux étant couramment assimilés) sont réputés difficilement réparables. Afin de contenir l'arbitraire et la subjectivité qui caractérisent le préjudice extrapatrimonial, un discours dominant rationnel et raisonnable s'est construit et une évaluation globale du préjudice est pratiquée par les juges. Il en résulte une stabilité des montants des dommages et intérêts octroyés à titre de réparation. Mais pourquoi autant de mots pour décrire une même réalité? Dommage et préjudice sont actuellement employés en droit québécois comme s'ils étaient terminologiquement et conceptuellement indistincts; il en résulte une sursimplification de la responsabilité civile. Nous proposons que le dommage (qu'il soit corporel, matériel ou moral) et le préjudice (qu'il soit extrapatrimonial ou patrimonial) sont distincts. Le dommage se qualifie au siège de l'atteinte (des corps, des choses, des sentiments et valeurs) et le préjudice se qualifie au regard de la nature des répercussions du dommage (répercussions patrimoniales ou extrapatrimoniales). Ainsi distingués, dommage et préjudice retrouvent un sens tout en faisant ressortir les deux temps composant la responsabilité civile: l'établissement d'une responsabilité à l'aide de la faute, du dommage et du lien de causalité les unissant (1er temps) et la réparation du préjudice accompagnant le dommage (2e temps). Par une telle distinction, la sursimplification de la responsabilité civile est dépassée et force est de constater que bien peu de choses sont dites dans les jugements sur la substance du dommage moral et même sur le dommage moral tout court. Le discours dominant porte essentiellement sur la difficile détermination de la quotité des dommages et intérêts pour réparer le préjudice extrapatrimonial. Si le dommage moral et le préjudice extrapatrimonial n'étaient pas confondus et employés par les juristes avec une apparente cohérence, une synthèse des chefs de préjudice extrapatrimonial, telle qu'envisagée au départ, aurait peut-être été possible…

Expression des nétrines dans la rétine de souris adulte

Les nétrines sont une petite famille de protéines de guidage axonal qui peuvent attirer des axones ou en repousser d’autres lors du développement neuronal. Lors du développement de la rétine, les axones des cellules ganglionnaires de la rétine (CGR) sont attirés vers une source de nétrines au niveau du disque optique leur permettant de quitter la rétine et de former le nerf optique. Afin de pouvoir caractériser le rôle des nétrines dans le système visuel adulte, nous avons investigué l’expression des nétrines et leurs récepteurs dans la rétine de souris adulte. Alors qu’aucune expression de la nétrine-1 n’a été détectée dans la rétine adulte, l’expression de la nétrine-3 a été abondamment détectée au niveau des CGR et des cellules amacrines. Nous démontrons aussi que les récepteurs des nétrines sont exprimés dans la rétine adulte. Alors que DCC semble être confiné au niveau des axones des CGR, néogénine est retrouvé dans les dendrites des CGR et des cellules horizontales. Quant aux protéines de la famille des récepteurs homologues à UNC-5, UNC5B a été détecté dans les somas des CGR et UNC5C dans les cellules de Müller. La découverte que nétrine-3 et ses récepteurs sont abondamment exprimés dans plusieurs types cellulaires de la rétine adulte leur suggère un rôle dans le fonctionnement du système visuel mature.

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.

La détention à des fins d'enquête en droit criminel canadien et son impact sur les droits constitutionnels

Le pouvoir de détenir une personne à des fins d'enquête n'est pas une technique d'investigation nouvelle et tire son origine du droit anglais. Mais cette méthode d'enquête, qui consiste à restreindre temporairement la liberté de mouvement d'une personne que l'on soupçonne pour des motifs raisonnables d'être impliquée dans une activité criminelle, ne fut reconnue officiellement au Canada qu'en juillet 2004 suite au jugement rendu par la Cour suprême dans l'affaire R. c. Mann. Au moment d'écrire ces lignes, cette stratégie d'enquête policière ne fait toujours pas l'objet d'une réglementation spécifique au Code criminel. L'approbation de cette technique d'enquête, en l'absence de toute forme de législation, ne s'est pas faite sans critiques de la part des auteurs et des commentateurs judiciaires qui y voient une intrusion dans un champ de compétences normalement réservé au Parlement. L'arrêt Mann laisse également en suspens une question cruciale qui se rapporte directement aux droits constitutionnels des citoyens faisant l'objet d'une détention semblable: il s'agit du droit d'avoir recours sans délai à l'assistance d'un avocat. Le présent travail se veut donc une étude approfondie du concept de la détention à des fins d'enquête en droit criminel canadien et de son impact sur les droits constitutionnels dont bénéficient les citoyens de notre pays. Pour accomplir cette tâche, l'auteur propose une analyse de la question en trois chapitres distincts. Dans le premier chapitre, l'auteur se penche sur le rôle et les fonctions dévolus aux agents de la paix qui exécutent leur mission à l'intérieur d'une société libre et démocratique comme celle qui prévaut au Canada. Cette étude permettra au lecteur de mieux connaître les principaux acteurs qui assurent le maintien de l'ordre sur le territoire québécois, les crimes qu'ils sont le plus souvent appelés à combattre ainsi que les méthodes d'enquête qu'ils emploient pour les réprimer. Le deuxième chapitre est entièrement dédié au concept de la détention à des fins d'enquête en droit criminel canadien. En plus de l'arrêt R. c. Mann qui fera l'objet d'une étude détaillée, plusieurs autres sujets en lien avec cette notion seront abordés. Des thèmes tels que la notion de «détention» au sens des articles 9 et 10b) de la Charte canadienne des droits et libertés, la différence entre la détention à des fins d'enquête et l'arrestation, les motifs pouvant légalement justifier une intervention policière de même que les limites et l'entendue de la détention d'une personne pour fins d'enquête, seront aussi analysés. Au troisième chapitre, l'auteur se consacre à la question du droit d'avoir recours sans délai à l'assistance d'un avocat (et d'être informé de ce droit) ainsi que du droit de garder le silence dans des circonstances permettant aux agents de la paix de détenir une personne à des fins d'enquête. Faisant l'analogie avec d'autres jugements rendus par nos tribunaux, l'auteur suggère quelques pistes de solutions susceptibles de combler les lacunes qui auront été préalablement identifiées dans les arrêts Mann et Clayton.

Action? Réaction!: Programme d'intervention visant à réduire la victimisation chez les élèves du 3e cycle du primaire par l'implication proactive des témoins

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation

Impact de HOXB4 sur les cellules B

La greffe de cellules souches hématopoïétiques autologue est une thérapie de plus en plus utilisée. Cependant, les traitements de chimiothérapie ou de radiothérapie intensifs peuvent affecter les cellules souches et diminuer le nombre de ces cellules pouvant être mobilisées à des fins de transplantation. Il serait donc très utile de pouvoir expandre ces cellules souches afin de s’assurer qu’elles soient en quantité suffisante pour procéder à la greffe. Or, il a été démontré que la protéine HOXB4 a la capacité d’expandre les cellules souches hématopoïétiques humaines et murines. Lors d’une greffe autologue, la moelle osseuse est cependant colonisée par des cellules malignes. Notre objectif était donc de s’assurer que la protéine HOXB4 expand les cellules souches hématopoïétiques normales mais n’expand pas les cellules « souches » leucémiques. De plus, comme des expériences précédentes ont démontré que chez des souris transplantées avec des cellules souches surexprimant HOXB4, la reconstitution du système hématopoïétique pouvait favoriser les cellules myéloïdes aux dépends des cellules lymphoïdes, nous avons aussi voulu déterminer l’impact de HOXB4 sur la différenciation des cellules progénitrices lymphoïdes normales. Pour ce faire, nous avons exposé des cellules humaines et murines à la protéine HOXB4 afin de comparer la prolifération des cellules B malignes à celle des cellules B normales. De plus, nous avons évalué l’impact de HOXB4 sur les cellules B à leurs différents stades de différenciation. Nos résultats démontrent que HOXB4 ne favorise pas l’expansion des cellules leucémiques. De plus, nous avons observé que les cellules lymphoïdes surexprimant la protéine HOXB4 ont un ralentissement dans leur processus de différenciation. Aussi, la surexpression de HOXB4 entraîne une diminution de la fréquence et du nombre de progéniteurs lymphoïdes normaux. Ces résultats démontrent donc que la protéine HOXB4 ne produit pas d’expansion des cellules malignes. De plus, elle confère un désavantage prolifératif aux cellules lymphoïdes.

The great asymmetry : America's closest allies in times of war

This dissertation focuses on military cooperation between the United States and its special allies. It argues that alliance expectations determine the level of military cooperation, while two intervening variables - the level of government cohesion and military capabilities - determine its implementation. This study also shows how secondary states deploy strategies to overcome power asymmetries through bilateral concessions, international organizations and by appealing to principle. The focus of the research is on special allies, as they have the most to gain or lose by going along with American plans. My contention is that secondary allies can rarely influence the dominant ally decisively, but they can act autonomously and resist to pressures exerted by the stronger alliance partner. The argument builds on three central claims. First, power asymmetries between allies translate into different assessments of international threats. Second, when disagreements over threats arise, the outcome of intra-alliance bargaining is not necessarily dictated by the preferences of the stronger power. Third, secondary states, as opposed to the dominant partner, face unique constraints when facing major foreign policy decisions, i.e. they face a trade-off between establishing a credible reputation as an alliance partner in a politically feasible way while minimizing domestic audience costs. To examine the theoretical puzzle presented by asymmetric military cooperation, I introduce a causal explanation that builds on neoclassical realism, to zone in on the interaction between systemic and domestic variables. My research makes a contribution to alliance theory and foreign policy decision-making by studying how special allies respond to American decisions in times of threat and how systemic constraints are channeled through state-level variables. To investigate the causal link between threat perception, alliance expectations and domestic constraints, this study relies on the method of structured focused comparison with three detailed case studies. The focus is on the initial decision made by special allies regarding whether or not to participle in joint mobilization with the United States. The decision-making process is presented from the perspective of secondary allied states and measures the explanatory factors that motivated the decision on military cooperation. The case studies are the UK, Canada and Australia’s response to the war in Afghanistan and the war in Iraq during the period of 2001 to 2003.