Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

L'étude que nous proposons s'inscrit dans le cadre de la complexité implicite des calculs. Selon Daniel Leivant, il s'agit de donner des caractérisations de la complexité sans faire de référence explicite à un modèle de calcul. Nous montrons que les interprétations de programmes sont un bon outil d'analyse dans ce contexte. Les aspects théoriques et pratiques sont abordés.

Dans cette thèse nous nous intéressons à une technique de vérification basée sur les approximations par réécriture dans le but de l'automatiser et d'étendre son domaine d'application. L'utilisation de cette technique permet la vérification de propriétés pour des systèmes informatique. Une sur-approximation des termes atteignables par réécriture est calculée et nous pouvons déterminer si des termes indésirables (représentant la propriété) appartiennent à la sur-approximation. Si ils n'appartiennent pas à la sur-approximation alors on est sûr que les termes indésirables ne sont pas atteignables par le système et la propriété est vérifiée, sinon nous ne pouvons pas conclure à cause de la sur-approximation. C'est dans ce cadre que se placent les contributions de cette thèse. Tout d'abord nous présentons une méthode de raffinement d'approximation, s'inspirant du paradigme CEGAR (Counterexample-Guided Abstraction Refinement), déterminant comment construire automatiquement une approximation qui ne contient pas de terme indésirable. Si cette construction échoue alors des termes indésirables sont atteignables et on peut conclure que le système analysé ne vérifie pas la propriété. De plus, à partir d'un graphe des réécritures, nous présentons comment vérifier trois modèles de propriétés LTL exprimant des conditions sur l'ordre d'application des règles de réécriture. D'autre part, nous présentons dans cette thèse deux nouvelles applications de cette technique : la vérification de spécifications écrites avec l'algèbre de processus CCS (sans renommage) et l'analyse d'atteignabilité par approximation de deux problèmes indécidables pour les machines de Turing.

Harry Potter, succès d’édition sans précédent, est une œuvre hybride et intertextuelle, héritière de nombreuses traditions littéraires. A l’influence des genres de l’imaginaire s’ajoute celle du roman scolaire, du récit de mystère ou d’aventures et celle du texte initiatique. De cette intergénéricité naît un univers riche, foisonnant de trouvailles dont l’écrit et ses instruments proposent de multiples exemples. L’auteure met ainsi en place moult jeux d’imitation et de détournement autour de scènes de lecture et d’écriture, reflétant la richesse de ses romans. Elle propose en outre à son lecteur, par une écriture ludique et manipulatrice, de nombreux jeux, sollicitant tantôt son esprit de déduction et sa mémoire, tantôt sa culture littéraire. Elle multiplie en effet les clins d’œil et références à d’autres œuvres dans son texte dont la lecture peut se faire à plusieurs niveaux. Fidèle à la tradition du cycle en littérature, la romancière a prolongé son univers de fiction dans de nouveaux écrits, dans une logique de pratique transfictionnelle. A l’initiative de l’écrivain ou de ses lecteurs qui se sont pris au jeu, le monde de Harry Potter s’est déployé sur d’autres médias, dans une suite de réécritures à ce jour ininterrompue, faisant de ces textes une fiction transmédiatique. Cette thèse s’articule autour des trois grands axes évoqués, à savoir la place et le rôle de l’écrit dans les Harry Potter puis la relation qui se noue entre la romancière et son lecteur grâce à ses jeux d’écriture et ensuite aux très nombreuses réécritures du cycle. / The Harry Potter books are the inheritors of several literary traditions. Both intergeneric and intertextual, they do not only belong to the category of non-realistic genres but also to the traditions of school fiction, mystery or adventure novels and initiation stories. This hybridity results in the creation of a very rich universe, teeming with inventions; all sorts of texts and writing tools are representative of this creativity. J. K. Rowling both imitates and distorts her sources, in scenes in which writing and reading play an important part. Besides, thanks to a playful and manipulative style, she invites her readers to play with their sense of deduction and memory and their literary culture. Indeed, she refers to many works of fiction and thus, proposes different ways of reading and understanding her stories. As is the case with most literary cycles, she has expanded on her fictional world in new texts, pieces of what is now called “trans-fictional” writing. J. K. Rowling and her readers also have developed the Harry Potter world, rewritten it and transferred it to new media, turning this literary work into transmedia fiction. This study focuses on the three main points mentioned, that is to say first on the part played by reading and writing in the Harry Potter books, then on the relation between the writer and her readers through her writing and on the many different ways in which the novels have been and still are being rewritten.

En informatique comme dans de multiples autres domaines, les graphes peuvent être trouvés partout. Ils sont utilisés pour représenter des données dans des domaines allant de la chimie à l'architecture, en tant que structures abstraites ou que modèles des données et de leurs évolutions. Dans tous ces domaines, il est prévisible que les graphes évoluent au cours du temps suite à des réactions chimiques, une mise à jour des connaissance ou l'exécution d'un programme. Être capable de traiter ces transformations est une tâche particulièrement importante et difficile. Dans ce travail, notre objectif est d'étudier la vérification de telles transformations de graphes, c'est à dire comment prouver qu'une transformation de graphes est correcte. La correction d'une transformation est plus précisément définie comme la correction d'une spécification pour cette transformation contenant en plus une précondition et une postcondition. Nous avons décidé d'utiliser un calcul à la Hoare générant une plus faible précondition pour une postcondition et une transformation. Si cette plus faible précondition est impliquée par la précondition, la spécification est correcte. Nous avons choisi une approche plus algorithmique pour les transformation de graphes utilisant des actions atomiques. Nous définissons deux moyens de construire des transformations de graphes: en utilisant un langage impératif ou en utilisant des systèmes de règles de réécriture. Le principal ingrédient est la logique qui est choisie pour représenter la précondition, la postcondition et les possibles conditions internes. Pour que la logique puisse interagir avec le calcul, nous demandons que le problème de décision soit décidable, qu'elle soit fermée par substitutions et qu'elle soit capable d'exprimer l'existence ou l'absence d'un sous-graphe affecté par la transformation. Le résultat central de ce travail est l'identification et l'explication de ces conditions. / In computer science as well as multiple other fields, graphs have become ubiquitous. They are used to represent data in domains ranging from chemistry to architecture, as abstract structures or as models of the data or its evolution. In all these domains, graphs are expected to evolve over time due to chemical reactions, update of the knowledge or programs. Being able to deal with such transformations is an extremely important and difficult task. In this work, our aim is to study the verification of such graph transformation, that is how to prove that a graph transformation is correct. Correctness of a graph transformation is more precisely defines as correctness of a specification for the transformation containing additionally a precondition and a postcondition. We decided to use a Hoare-like calculus generating the weakest precondition for a postcondition and a transformation. If this weakest precondition is implied by the actual precondition, the specification is correct. We chose a more algorithmic approach to graph transformation by using atomic actions.We chose to define two ways to build graph transformations: using an imperative programming language and using rule-base rewriting systems. The main ingredient of the verification of graph transformation is the logic that is chosen to represent the precondition, the postcondition and the possible conditions internal to the transformation. So that the logic can interact with the calculus, we require that the decision problem be decidable, that the logic be closed under the substitutions introduced by the Hoare-like calculus and that it has to be able to express the existence and absence of a match for the transformation. The core result of this work is the identification and explanation of these conditions.

L’auteur dramatique grec Iakovos Kambanellis a connu l’expérience du camp de concentration et en a tiré, vingt ans plus tard, sa seule œuvre narrative, Mauthausen. Prenant ce récit pour pivot, notre recherche interroge les liens qui existent entre une écriture née de l’expérience concentrationnaire et le théâtre chez cet auteur. Pour cela, nous replaçons le texte narratif dans une perspective autobiographique pour la dépasser en rattachant Mauthausen à la littérature concentrationnaire et pour y déceler le dispositif scénique d’un tombeau littéraire. Puis, nous étudions les enjeux thématiques et idéologiques de l’écriture du dramaturge en lien avec son expérience traumatique. Nous nous penchons alors sur des pièces à relier au trauma de l’homme revenu du camp dans un pays livré à la guerre civile. Des motifs et des thèmes de la littérature concentrationnaire sont mis en évidence dans plusieurs pièces. En outre, la figure d’Ulysse, récurrente dans le théâtre de Kambanellis, apparaît comme symbolique de l’identité du rescapé. Enfin, nous observons la façon dont se résolvent les tensions entre diégèse et mimèsis pour se transformer en dynamique littéraire. Ainsi, sont étudiés les statuts du narrateur et du personnage ainsi que l’inscription de ces entités dans un espace fondateur réel/imaginaire où l’emploi du mythe transfigure l’expérience concentrationnaire et lui donne sa dimension politique. Nous revenons aussi sur la notion d’illusion chez Kambanellis qui, finalement, a consacré son talent au jeu et au mystère de l’imaginaire, de l’ὑποτίθεται, dont nous considérons qu’il renvoie en partie à son expérience concentrationnaire. / A Greek playwright, Iakovos Kambanellis drew on his personal experience of the concentration camp to write, two decades later, his only narrative work, Mauthausen. Taking this work as a central point, our research questions the links existing between a text born of the concentrationary experience and the theatre of this author. Our choice is to frame the narrative in an autobiographical perspective, allowing us to explore and connect Mauthausen to the genre of “littérature concentrationnaire” (concentrationary literature) and reveal the stage setting of a “tombeau littéraire” (literary funeral monument). Next we examine the thematic and ideological challenges of the author’s writing as related to his traumatic experience. We review the plays which can be linked to the trauma of a man returning from the camp to a country in the throes of civil war. Motifs and themes of the “littérature concentrationnaire” are revealed in several plays. Ulysses, a recurrent figure in the theatrical writing of Kambanellis, appears to symbolize the survivor’s identity. Finally, we observe how the tensions between diegesis and mimesis achieve a dynamic resolution. The positions of narrator and character are examined and inscribed in a real/imaginary world in which the use of the myth transfigures the concentrationary experience and invests it with its political dimension. We review also Kambanellis’s notion of illusion, and how he devoted his talent to the interplay and to the mystery of the imaginary, of the ὑποτίθεται, which refers in our opinion in part to his concentrationary experience.

Ce mémoire part de l'observation que, même aujourd'hui, dans la pratique pédagogique, c‟est rare le débat sur le lieu d'énonciation à être occupé par l'élève pour s‟autoriser à dire, précisément pour s'autoriser à dire à travers l'écriture. Ce « manque », évidemment, entraîne des conséquences dans le traitement du procès d'écriture et, par conséquent, de ré-écriture dans la salle de classe. Ces conséquences sont liées à la façon dont l'élève se rapporte à la langue et à l'autre de l‟interlocution, ce qui provoque des relations de reconnaissance et de méconnaissance de l‟espace de constitution de sa subjectivité. Ce mouvement de reconnaissance ou de méconnaissance est médié par l'enseignant dans l'instauration de la relation intersubjective entre les actes d'écriture et de ré-écriture, dont l'effet apparaît dans le discours. Ce memoire, théorique et analytique, cherche, donc, à réfléchir sur les aspects énonciatifs impliqués dans le passage de l'acte énonciatif d'écriture à l'acte énonciatif de ré-écriture, en mettant l'accent sur l'intersubjectivité et sur la considération du préfixe ré- comme un opérateur énonciatif théorique et analytique. En ce sens, cette recherche vise à répondre essentiellement à deux questions : 1) Qu‟est-ce qui est impliqué entre les actes d'énonciation écrit et ré-écrit par rapport à (inter)subjectivité ? et 2) Comment se modifie la configuration des composants du cadre figuratif de l'énonciation de l'acte d'écriture à l'acte de ré-écriture ? À ces fins, on cherche, dans la Théorie de l'Énonciation d‟Émile Benveniste, un cadre théorique qui ancre l'énonciation comme des actes d'écriture et de ré-écriture, dont la réfléxion suggère la caractérisation de la ré-écriture comme une méta-énonciation de l’écrit. Par cette conception, on passe à l'analyse des faits énonciatifs écrit et ré-écrit à partir de l‟élaboration de principes théoriques et méthodologiques qui permettent d'observer les mécanismes linguistiques desquels l‟élève se sert pour marquer la relation intersubjective instaurée entre l‟un et l‟autre. En résumé, on espère, avec ce travail, contribuer à la pratique pédagogique dans la salle de classe par rapport à la proposition de production textuel dans la mesure que l‟on passe à considerer la singularité de chaque acte d'énonciation écrit et ré-écrit. / Esta dissertação parte da constatação de que ainda hoje, na prática docente, é rara a discussão sobre o lugar de enunciação a ser ocupado pelo aluno para se autorizar a dizer, especificamente para se autorizar a dizer por meio da escrita. Essa “falta”, evidentemente, provoca consequências no tratamento do processo de escrita e, por conseguinte, de re-escrita em sala de aula. Tais consequências estão ligadas ao modo como o aluno se relaciona com a língua e com o outro da interlocução, o que acarreta ora relações de reconhecimento ora de desconhecimento do espaço de constituição da sua subjetividade. Esse movimento de reconhecimento ou desconhecimento é mediado pelo professor na instauração da relação intersubjetiva entre os atos de escrita e de re-escrita, cujo efeito emerge no discurso. Esta dissertação, de cunho teórico-analítico, procura, portanto, refletir acerca dos aspectos enunciativos envolvidos na passagem do ato enunciativo de escrita para o ato enunciativo de re-escrita, com ênfase na intersubjetividade e na consideração do prefixo re- como um operador enunciativo teórico-analítico. Nesse sentido, esta pesquisa objetiva responder basicamente a dois questionamentos: 1) O que está implicado entre os atos de enunciação escrito e re-escrito no que se refere à (inter)subjetividade? e 2) Como se altera a configuração dos componentes do quadro figurativo da enunciação do ato de escrita para o ato de re-escrita? Com esses propósitos, busca-se, na Teoria da Enunciação de Émile Benveniste, um quadro teórico que ancore a enunciação enquanto atos de escrita e de re-escrita, cuja reflexão encaminha a caracterizar a re-escrita como uma metaenunciação do escrito. Por essa concepção, passa-se à análise dos fatos enunciativos escrito e re-escrito a partir da elaboração de princípios teórico-metodológicos que permitem observar os mecanismos linguísticos de que se vale o aluno para marcar a relação intersubjetiva instaurada entre um e outro. Em síntese, espera-se, com este trabalho, contribuir para a prática docente em sala de aula com relação à proposta de produção textual na medida em que se passa a considerar a irrepetibilidade e a singularidade de cada ato de enunciação escrito e re-escrito.

Submitted by Edileide Reis (leyde-landy@hotmail.com) on 2013-04-29T18:02:11Z No. of bitstreams: 5 Liane Araujo parte 5.pdf: 3712011 bytes, checksum: c49b88b4d69970f7a341cf9de6b255d0 (MD5) Liane Araujo parte 4.pdf: 3662961 bytes, checksum: 89a6f4c07c316769165e5f13a4bd29dd (MD5) Liane Araujo parte 3.pdf: 5060047 bytes, checksum: 77275f897f01f331b9df456ed42879fd (MD5) Liane Araujo parte 2.pdf: 151205 bytes, checksum: ae0c2e61bd969381d1304b438c6c274c (MD5) Liane Araujo parte 1.pdf: 2200258 bytes, checksum: 90db996d421f5bb5b6d12be340c2e5c8 (MD5) / Approved for entry into archive by Maria Auxiliadora Lopes(silopes@ufba.br) on 2013-06-11T13:21:53Z (GMT) No. of bitstreams: 5 Liane Araujo parte 5.pdf: 3712011 bytes, checksum: c49b88b4d69970f7a341cf9de6b255d0 (MD5) Liane Araujo parte 4.pdf: 3662961 bytes, checksum: 89a6f4c07c316769165e5f13a4bd29dd (MD5) Liane Araujo parte 3.pdf: 5060047 bytes, checksum: 77275f897f01f331b9df456ed42879fd (MD5) Liane Araujo parte 2.pdf: 151205 bytes, checksum: ae0c2e61bd969381d1304b438c6c274c (MD5) Liane Araujo parte 1.pdf: 2200258 bytes, checksum: 90db996d421f5bb5b6d12be340c2e5c8 (MD5) / Made available in DSpace on 2013-06-11T13:21:53Z (GMT). No. of bitstreams: 5 Liane Araujo parte 5.pdf: 3712011 bytes, checksum: c49b88b4d69970f7a341cf9de6b255d0 (MD5) Liane Araujo parte 4.pdf: 3662961 bytes, checksum: 89a6f4c07c316769165e5f13a4bd29dd (MD5) Liane Araujo parte 3.pdf: 5060047 bytes, checksum: 77275f897f01f331b9df456ed42879fd (MD5) Liane Araujo parte 2.pdf: 151205 bytes, checksum: ae0c2e61bd969381d1304b438c6c274c (MD5) Liane Araujo parte 1.pdf: 2200258 bytes, checksum: 90db996d421f5bb5b6d12be340c2e5c8 (MD5) Previous issue date: 2004 / Esta Dissertação versa sobre uma pesquisa que teve como objetivo refletir sobre práticas de revisão e reescrita de texto de crianças em situação escolar, tomando-se essas atividades como inerentes à produção de textos, ponto de partida para a aprendizagem da língua escrita. Focalizou-se a revisão e reescrita em pares de alunos trabalhando em conjunto como leitores de si e do outro, com vistas a aprimorar o texto a partir de seus repertórios de recursos lingüísticos e discursivos, ressaltando a relação singular dos sujeitos com esses recursos. Esse estudo propõe discutir sobre as atividades de revisão e reescrita, sobre o papel do rascunho e seu uso produtivo na escola, o caráter particular do rascunho escolar e sobre a pertinência da modalidade partilhada de revisão de textos, considerando o que as crianças podem avançar em colaboração. Considerou-se as marcas de reformulação nos rascunhos como testemunho do processo de produção e como indícios de uma atividade reflexiva sobre a linguagem que se dá em contexto de uso. A perspectiva que é particularmente considerada é a das crianças e, assim, foram objetos de uma análise articulada, elementos diversos como as representações que elas têm a respeito da revisão e reescrita e do uso do rascunho, as diferentes versões do texto produzido, com suas marcas de reelaboração, e os comentários das duplas durante a atividade de revisão. As análises efetivadas mostraram os aspectos lingüísticos e discursivos que se constituíram em “observáveis” para as duplas, tornando-se objetos de negociação, argumentação e modificação durante a atividade, e indicaram os aspectos sobre os quais elas silenciaram. Os significados das práticas de revisar e reescrever que circulam na sala de aula pesquisada revelaram-se nas respostas a um questionário e durante a própria atividade de revisão. Este estudo mostra uma possibilidade de trabalho de produção textual que busca privilegiar o que se mostra nos rascunhos dos alunos como ponto de partida para a reflexão sobre a língua, em seus contextos de uso efetivo, e a pertinência, as condições e limites da modalidade de revisão em pares. / Salvador

BARROS, Marcilene Gaspar. Reescrita da seção justificativa do projeto de pesquisa por escritores iniciantes. 2013. 175f. – Dissertação (Mestrado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2013. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2014-06-04T13:49:18Z No. of bitstreams: 1 2013_dis_mgbarros.pdf: 2022683 bytes, checksum: 2087f2dd1217aa45e0885ae4155a27ec (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2014-06-04T18:31:10Z (GMT) No. of bitstreams: 1 2013_dis_mgbarros.pdf: 2022683 bytes, checksum: 2087f2dd1217aa45e0885ae4155a27ec (MD5) / Made available in DSpace on 2014-06-04T18:31:10Z (GMT). No. of bitstreams: 1 2013_dis_mgbarros.pdf: 2022683 bytes, checksum: 2087f2dd1217aa45e0885ae4155a27ec (MD5) Previous issue date: 2013 / Esta pesquisa está inserida na área da Aquisição e Desenvolvimento da Escrita e tem por objetivo analisar as mudanças efetuadas na reescrita da seção justificativa do projeto de pesquisa, levando-se em consideração os movimentos retóricos característicos do texto e o uso de operadores argumentativos. Para tanto, fundamenta-se na concepção de revisão de base cognitiva, de acordo com os postulados de Hayes e Flower (1980), Hayes et al. (1987) e Hayes (2004, 2006); na tipologia proposta por Fabre-Cols (2002) sobre as mudanças realizadas nos textos pelos sujeitos; na organização retórica da seção justificativa a partir do modelo CARS de Swales (1990) e dos estudos de Motta-Roth e Hendges (2010), bem como nas discussões sobre a força argumentativa que emerge das mudanças propostas pelos sujeitos na revisão/reescrita do texto, a partir do uso de operadores argumentativos, conforme estudos de Ducrot (1980, 1983, 1995) e Anscombre (1989, 1995). O corpus é formado por 38 justificativas de projetos de pesquisas de 19 graduandos do segundo semestre do curso de Letras, sendo que 19 correspondem à versão inicial e 19 à versão final revisada e reescrita. Adotamos, em nosso estudo, a pesquisa de campo, visto que essa se desenvolve, segundo Gil (2002), basicamente, por meio de observação direta das atividades do grupo estudado e de entrevista com informantes para captar suas explicações e interpretações do que ocorre no grupo. Os resultados revelaram a utilização das operações de adição, supressão, substituição e deslocamento incidindo sobre várias unidades linguísticas. Além disso, mostraram que, nessas mudanças, os sujeitos usaram expressões características de passos dos movimentos retóricos delineados por Swales (1990) e operadores argumentativos que exercem importante papel na orientação argumentativa do texto. Dessa forma, a revisão/reescrita mostrou-se uma atividade relevante no processo de escrita, promovendo mudanças positivas e reestruturando o texto também na perspectiva retórico-argumentativa.

Les systèmes distribués modernes à large-échelle évoluent dans des contextes variables soumis à de nombreux aléas auxquels ils doivent s'adapter dynamiquement. Dans ce cadre, l'informatique autonome se propose de réduire les interventions humaines lentes et coûteuses, en leur préférant l'auto-gestion. Elle repose avant tout sur une description adéquate de ses composants, de leurs interactions et des différents aspects ou topologies qu'il peut adopter. Diverses approches de modélisation ont étés proposées dans la littérature, se concentrant en général sur certains du système dynamique et ne permettent ainsi pas de répondre à chacune des problématiques inhérentes à l'auto-gestion. Cette thèse traite de la modélisation basée graphes des systèmes dynamiques et de son adéquation pour la mise en œuvre des quatre propriétés fondamentales de l'informatique. Elle propose quatre principales contributions théoriques et appliquées. La première est une méthodologie pour la construction et la caractérisation générative de transformations correctes par construction dont l'application préserve nécessairement la correction du système. La seconde contribution consiste en une extension des systèmes de réécriture de graphe permettant de représenter, mettre à jour, évaluer et paramétrer les caractéristiques d'un système aisément et efficacement. Une étude expérimentale extensive révèle un net gain d'efficacité vis à vis de méthodes classiques. Les deux dernières contributions s'articulent autour de l'élaboration de deux modules de gestions visant : (1) des requêtes de traitement d'événements complexes et (2) tout système Machine-à-Machine se conformant au standard ETSI M2M. / Modern, large-scale systems are deployed in changing environments. They must dynamically adapt to context changes. In this scope, autonomic computing aims at reducing slow and costly human interventions, by building self-managed systems. Self-adaptability of a system is primarily based on a suitable description of its components, their interactions and the various states it can adopt. Various modeling approaches have been elaborated. They usually focus on some aspects or properties of dynamic systems and do not tackle each of self-management's requirements. This manuscript deals with graph-based representations of dynamic systems and their suitability for the implementation of autonomic computing's four fundamental properties : self-optimization, self-protection, self-healing and self-configuring. This thesis offers four principal theoretical and applied contributions. The first one is a methodology for the construction and generative characterization of transformations correct by construction whose application necessarily preserves a system's correctness. The second one consists in an extension of graph rewriting systems allowing to easily and efficiently represent, update, evaluate and configure a system's characteristics. An experimental study reveals a significant efficiency gain with regard to classical methods. The two lasts contribution are articulated around the design of two autonomic managers driving: (1) complex events processing requests and (2) any Machine-to-Machine system complying to the ETSI M2M2 standard.