Com este trabalho apresentamos uma leitura do texto da peça didática Die Ausnahme und die Regel (A exceção e a regra) do dramaturgo alemão Bertolt Brecht, escrita em 1929/1930. Trata-se de uma leitura feita a partir de uma ótica acadêmica brasileira, que leva em consideração aspectos do procedimento estilístico do autor, sua posição em relação ao teatro, o contexto em que a peça foi produzida, o público a que a peça se destina, o seu lugar dentro do conjunto das outras peças didáticas e o resgate de textos inéditos para dois coros, bem como indicações para outras leituras e encenações. A partir destes pressupostos, busca-se delinear ao final um possível diálogo que Brecht estabelece com o jurista Carl Schmitt e com a sociedade de seu tempo. / This work consists of a reading of the text of the German playwright Bertold Brechts didactic play Die Ausnahme und die Regel (The exception and the rule), written in 1929/1930. This is a reading from a Brazilian academic perspective which takes into consideration aspects of the authors stylistic procedure, his positioning towards theater, the context in which the play was written, the audience to whom it was produced, its place in Brechts set of didactic plays and the review of unpublished texts for two choruses, as well as indications for other readings and stagings. From these assumptions, in the end of the work, we aim at outlining a possible dialogue Brecht established with the jurist Carl Schmitt and with society in his times.

Orientador: Yara Adario Frateschi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-23T18:24:01Z (GMT). No. of bitstreams: 1 RoveredeGodoy_FernandoHenrique_M.pdf: 1137444 bytes, checksum: da7248bea36650b13c9f42d618ec0fde (MD5) Previous issue date: 2013 / Resumo: Neste Trabalho, o escopo é analisar como Giorgio Agamben e Hannah Arendt pensam a política contemporânea, principalmente a relação da política com o direito. A intenção é mostrar que, apesar de ambos os autores partirem de diagnósticos da modernidade bastante parecidos, chegam a lugares bem diferentes no tocante à relação do direito com a política. Ambos parecem compartilhar, à primeira vista, um diagnóstico de esvaziamento do espaço público, o predomínio da violência nas relações, uma sociedade massificada, a vida biológica ganhando centralidade nos contextos políticos, etc. Porém, com base nessas premissas, Agamben chega a teses como o Estado de Exceção permanente, o campo (de concentração) como paradigma da política contemporânea, a contiguidade entre o totalitarismo e a democracia e o caráter essencialmente violento do direito, teses essas que não podem ser aceitas por Arendt. A intenção é demonstrar que mesmo Arendt compartilhando esse diagnóstico com sua concepção de política pautada na pluralidade e na liberdade, ela enxerga outras perspectivas para a política atual, como o papel da Constituição de garantir as liberdades públicas / Abstract: This study aims to analyze how Giorgio Agamben and Hannah Arendt think the contemporary politics, chiefly the relation between politics and law. The intent is to show that, although both authors derive from very similar diagnosis of modernity, they reach well-distinct places regarding the relation between law and politics. Both of them seem to share, at first sight, a diagnosis of public space emptying, the predominance of the violence in relations, a massified society, the biological life acquiring centrality in political contexts etc. However, based on those premises, Agamben get to theses such as the state of permanent exception, camp (concentration) as a contemporary politics paradigm, the contiguity between the totalitarianism and democracy, and the essential violent character of the law, such theses which cannot be accepted by Arendt. The intent is to demonstrate that, although Arendt shared that diagnosis with his conception of politics guided by plurality and liberty, she sees other perspectives for the current politics, as the role of the constitution to assure the public liberties / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Oswaldo Giacoia Junior / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-19T08:59:11Z (GMT). No. of bitstreams: 1 Barsalini_Glauco_D.pdf: 1405816 bytes, checksum: 94e8440db87ac34d25bfb65a2e09be1a (MD5) Previous issue date: 2011 / Resumo: A presente tese de doutorado tem por escopo discutir aspectos da teoria política de Giorgio Agamben, em especial os conceitos que ele apresenta a respeito do poder soberano, da violência do Estado contemporâneo, da exclusão, em razão do estado de exceção permanente, dos sujeitos sociais por ele chamados homo sacer e, finalmente, dos direitos humanos. A obra política de Giorgio Agamben se ergue sobre um intenso debate ocorrido especialmente entre três importantes pensadores contemporâneos: Carl Schmitt, Walter Benjamin e Hannah Arendt. Enquanto o pensador contemporâneo se utiliza de Schmitt para entender a condição violenta do Estado atual naquilo que corresponde ao estado de exceção e da consequente criação do campo como o espaço da consolidação da exceção; ele se aproxima de Arendt para discutir a democracia como uma proposta para o futuro, na perspectiva da criação efetiva do direito a ter direitos; e se fundamenta em Benjamin para compreender a condição violenta do Estado e do direito contemporâneos, descortinando o engodo gerado pelo mito do contrato social. Este trabalho se divide em seis capítulos, além de sua Introdução. No primeiro, discutiremos a questão da soberania, exceção, Estado e direito, traçando paralelos e demonstrando discordâncias entre fontes diretas e indiretas da obra de Agamben, como Carl Schmitt, Hans Kelsen, Max Weber e Georg Wilhelm Friedrich Hegel. No segundo capítulo, abordaremos os reflexos, no pensamento de Agamben, dos antagonismos entre as teorias de Schmitt, Benjamin, Kelsen e Arendt, no que concerne à questão da unidade e da pureza. No capítulo seguinte, concentraremos maior atenção sobre os conceitos de autoridade e poder, momento em que promoveremos um contraponto entre Arendt e Schmitt, observando os reflexos das formulações desses autores na filosofia política de Agamben. No quarto capítulo mostraremos as críticas, divergentes entre si, feitas por Arendt, de um lado, e Schmitt, de outro, sobre o problema da revolução permanente. Então, demonstraremos a influência de Karl Marx sobre a obra de Georges Sorel, e desta sobre a de Benjamin. Nesse momento, relacionaremos o messianismo de Benjamin com a "profecia" da "política que vem", feita por Agamben, além de demonstrarmos as proximidades de tal "profecia" com a concepção anárquica da política social desenvolvida por Foucault. No quinto capítulo, trabalharemos a questão do sagrado, do profano e do tempo que resta, este, tema de livro de Agamben, em que ele tem por referência preciosas formulações de São Paulo. O centro deste capítulo, além da obra mencionada, será o livro Homo Sacer: o poder soberano e a vida nua I. Finalmente, no capítulo derradeiro, abordaremos os temas direitos humanos e democracia, ao procedermos à conclusão deste trabalho / Abstract: This doctorate thesis has for its objective to discuss aspects of the political theory of Giorgio Agamben, especially the concepts that he presents in regards to the sovereign power, in regards to the violence of the contemporary State, in regards to the exclusion, on account of the state of permanent exception, of the social subjects by him called homo sacer and, finally, in regards to the human rights. The political work of Giorgio Agamben was based upon an intense debate occurring amongst three important contemporary thinkers: Carl Schmitt, Walter Benjamin and Hannah Arendt. While the contemporary thinker uses Schmitt to understand the violent condition of the present State in that that it corresponds to the state of exception and of the consequent creation of the rural environment as the space of the consolidation of the exception; he comes close to Arendt to argue the democracy as a proposal for the future, in the perspective of the effective creation of the right to have rights; and he bases in Benjamin to understand the violent condition of the State and of the contemporary rights, uncovering the decoy generated by the myth of the social contract. This work is composed of six chapters, not including the introduction. In the first chapter, we will discuss the question of sovereignty, governing by exception, State and right, drawing parallels and showing disagreements between direct and indirect sources of the work of Agamben, and Carl Schmitt, Hans Kelsen, Max Weber and Georg Wilhelm Friedrich Hegel. In the second chapter, we will approach Agamben's thoughts about the consequences of the differences between the theories of Schmitt, Benjamin, Kelsen and Arendt, with respect to the question of unity and purity. In the following chapter, we will focus attention on the concepts of authority and power, when we will promote a counterpoint between Arendt and Schmitt, observing the consequences of the formulations of those authors in the political philosophy of Agamben. In the fourth chapter we will show the criticisms, made by Arendt, on one hand, and Schmitt, on the other, and about the problem of the permanent revolution. We will then demonstrate the influence of Karl Marx over the work of George Sorel, and also the influence of George Sorel over the work of Benjamin. At this moment, we will relate the messianism of Benjamin with the "prophecy" of the "politics that comes", made by Agamben, as well demonstrating the proximity of such "prophecy" with the anarchic conception of the social politics developed by Foucault. In the fifth chapter, we will pursue the question of the sacred, of the profane, and of the time that remains, the latter being the subject of the book of Agamben, in which he has referenced precious formulations of Saint Paul. The focus of this chapter, beyond the work mentioned, will be the book Homo Sacer: the sovereign power and the bare life. Finally, in the last chapter, we will approach the subjects of human rightsand democracy, after which we will proceed to the conclusion of this work / Doutorado / Filosofia / Doutor em Filosofia

This work aims at improving an existing soft microprocessor core optimized for Xilinx Virtex®-4 FPGA. Instruction and data caches will be designed and implemented. Interrupt support will be added as well, preparing the microprocessor core to host operating systems. Thorough verification of the added modules is also emphasized in this work. Maintaining core clock frequency at its maximum has been the main concern through all the design and implementation steps.

Um sistema de software que apresente problemas em sua execução pode gerar conseqüências desde um simples incômodo ao usuário, até desastres como a perda de uma sonda da NASA em Marte. As atividades de teste visam identificar erros nos sistemas de software, prevenindo estas conseqüências indesejáveis. Porém, os testes podem envolver entre 30% e 40% do esforço de desenvolvimento do sistema, e em sistemas críticos, seu custo pode ser de 3 a 5 vezes maior do que o custo combinado das demais atividades. Para tentar reduzir estes custos podemos automatizar parte das atividades. No presente caso, pretende-se minimizar os casos de teste gerados manualmente, utilizando uma técnica denominada verificação de modelos. Esta técnica consiste em verificar propriedades definidas formalmente através de expressões matemáticas, utilizando uma ferramenta de verificação que simula a execução do código. Além disso, um sistema que utilize um tratamento de condições excepcionais eficiente, tem sua manutenibilidade, robustez e confiabilidade melhoradas. Por isso, definimos propriedades relacionadas ao tratamento de exceções, como ponto de entrada para a verificação de modelos. Apresentamos um ambiente de testes criado para permitir a verificação destas propriedades com o verificador Java PathFinder e a exibição das estatísticas de cobertura de testes de acordo com o critério selecionado. Este ambiente facilita a execução dos testes, pois apresenta uma interface gráfica com o usuário que permite a configuração e execução dos testes sem que seja necessária a escrita de código pelo testador. Apresentamos também o resultado do uso deste ambiente para o teste de vários programas exemplo, utilizando desde código concorrente até diferentes estratégias de tratamento de exceção e discutimos as características, cuidados no uso e limitações das ferramentas utilizadas. / A software system that shows some failure at runtime execution may bring consequences that range from a simple user annoyance to great disasters such as the lost NASA probe on Mars. The test activities aim to find errors in software systems, preventing these undesirable consequences. However, tests may take between 30% and 40% of total development time, and on critical systems, its cost can be from 3 to 5 times greater than the combined cost of the other activities. In an effort to reduce these costs, we may automate some of the activities. In this work we intend to minimize test case manual generation, using a technique called model checking. This technique involves the checking of properties defined through the use of mathematical formulas, using a tool, that simulates code execution. In addition, a system with an efficient exception handling mechanism, has its maintainability, robustness and reliability enhanced. So, in this work we define exception handling related properties, as an input for model checking. We present a test tool created to allow checking of these properties using the Java PathFinder model checker, and to list the test coverage statistics, according to the selected test criteria. This tool makes easy the test execution, since it presents a graphical user interface that allows configuration and running of tests with no need to write any lines of code. We also show the results of running several tests with the GUI, using some programs implemented with concurrent code and several exception handling techniques and discuss the main features, pitfalls and limitations of the underlying tools.

A área de gerenciamento de processos de negócio apresenta-se ativa e tem recebido atenção tanto da comunidade de pesquisa como da indústria. Uma das principais preocupações nessa área é a escolha da melhor abordagem para modelagem e implementação de processos de negócio. Atualmente, organizações possuem processos de negócio com complexas estruturas que são reavaliados e ajustados com frequência, exigindo flexibilidade das linguagens para modelagem de processos. Além disso, processos de negócio atuais também exigem ambientes para implementação capazes de garantir confiabilidade na execução de instâncias do processo modelado, especialmente em caso de falhas. Embora diversos modelos transacionais tenham sido propostos com o objetivo de garantir propriedades transacionais adaptadas ao contexto de processos de negócio, a implementação de processos transacionais ainda oferece um cenário com desafios teóricos e práticos. Neste trabalho apresentamos uma implementação da abordagem WED-flow para controle de processos transacionais. A WED-flow é uma abordagem que combina conceitos de modelos transacionais avançados, eventos e estados de dados com o objetivo principal de reduzir a complexidade no tratamento de exceções. A ferramenta de software desenvolvida é capaz de controlar a execução de instâncias de processos de negócio, permite a evolução incremental do modelo projetado e ainda disponibiliza a estrutura necessária para apoiar a implementação de mecanismos de recuperação para tratar interrupções em instâncias causadas por exceções. / Business processes management is an active area which have received increased attention from research and industry communities. A major concern is the selection of the best approach for modeling and implementing business processes. Nowadays, organizations have business processes with complex structures, which are reevaluated and adjusted frequently, requiring flexibility from modeling languages. In addition, current business processes also require implementation environments capable of ensuring execution reliability, especially in case of failures. Although several transactional models have been proposed in order to guarantee transactional properties adapted to the context of business processes, the implementation of transactional processes still offers a scenario with several theoretical and practical challenges. In this work, we present an implementation of WED-flow approach for controlling transactional processes. WED-flow is an approach which combines the concepts of advanced transactional models, events and data states for the purpose of reducing exception handling complexity. The developed software tool is able of controlling the execution of business processes instances, allows incremental evolution of the designed model and also provides the necessary structure to support recovery mechanisms implementation to handle instances interruptions caused by exceptions.

[pt] Mecanismos de tratamento de exceções são modelos comumente usados em linguagens de programação para a estruturação do fluxo de execução excepcional de módulos de software. Tais mecanismos possibilitam a detecção e a sinalização da ocorrência de exceções, permitindo que módulos de software tomem medidas corretivas que recuperem o sistema para um estado correto. Estudos recentes mostram que falhas recorrentes e problemas de desempenho em aplicações de software estão relacionados à má qualidade do código que implementa o tratamento de exceções. Os estudos preliminares realizados no contexto desta dissertação não apenas corroboram esses resultados, como também evidenciam uma série de outros fatos interessantes que ocorrem durante a evolução de sistemas de software. Em especial, percebeu-se que é bastante comum nas versões preliminares de um sistema a implementação de ações de tratamento de exceções ineficazes. Também se percebeu que pouco (ou nenhum) esforço é realizado em termos de melhorar o tratamento de exceções durante a evolução do sistema de software. Os trabalhos recentes que se propõem a auxiliar desenvolvedores de software a lidar com código de tratamento de exceções falham em auxiliá-los em uma tarefa primordial: implementar código de tratamento de exceções bem estruturado desde as primeiras versões de um sistema. Neste contexto, o presente trabalho propõe um sistema de recomendação capaz de prover exemplos de código tratando exceções de modo a auxiliar desenvolvedores a implementarem seu próprio código em suas aplicações. O sistema extrai informações estruturais do código sob desenvolvimento para buscar por exemplos em um repositório local a fim de recomendar exemplos de código com contexto parecido ao que o desenvolvedor está trabalhando. O sistema implementado neste trabalho recomenda exemplos de código implementados em Java. / [en] Exception handling mechanisms are models commonly used in programming languages to structure the exceptional execution flow of software modules. These mechanisms enable the detection and signaling of exception occurrences, allowing these modules to take corrective actions to recover a module to a correct state. Recent studies show that recurrent failures and performance issues in software applications are related to the poor structuring of exception handling code. The preliminary studies performed in the context of this dissertation not only confirm these results, but also show other interesting facts that occur during software evolution. In particular, it was realized that it is often very common to observe ineffective exception handling actions in the first releases of a system. It was also realized that little (or no) effort was allocated to improve the quality of these action during the software evolution. Recent studies that aim aiding software developers to deal with exception handling elements fail in assisting them in a crucial task: implementing well-structured exception handling code since the first release of a system. In this context, this dissertation proposes a recommender system able to provide code fragments implementing exception handling code. The proposed strategy aims to assist developers in implementing their own code in their applications. The system extracts structural information from the code under development to search for examples in a local repository in order to recommend code examples that share similar structural context with the code that the developer is working on. The system implemented in the context of this dissertation recommends code examples implemented in Java.

On 27 February 2020, Erdogan announced that he would open the Turkish border, allowing refugees to cross into Europe. Greece’s response was the deployment of military forces and the suspension of asylum applications. This study theoretically draws heavily upon Giorgio Agamben’s work on biopolitics by analyzing discourses conducted by three representatives of the Greek government. It illustrates how the New Democracy party represents the arrival of asylum seekers at the Greek-Turkish border and investigates the rationale it developed regarding the implementation of the exceptional measures. The portrayal of asylum seekers as an ‘asymmetrical threat’ activates the biopolitical machine and through the exception, the sovereign exposes its raw power over the bodies of refugees, and the management of death becomes sovereign’s absolute objective. Consequently, the exception becomes indistinguishable from the norm and expands beyond the Greek-Turkish border, rendering those who dispute the Greek government’s practices as a potential homo sacer.

This thesis is concerned with the Canadian state’s rhetoric of reconciliation, the logic of exceptionality that supports it, and the ways this logic helps soften Indigenous communities for resource development. In formulating my theoretical framework, I draw from Agamben’s theories of sovereignty and states of exception, Mark Rifkin’s reworking of Agamben’s theories to accommodate a settler-colonial context, Pauline Wakeham’s application of the logic of exceptionality to rhetorics of apology and terrorism, and Glen Coulthard’s concepts of translation (as the attempt to bring Indigenous discourses and life ways into the realm of a Western/settler-colonial discourse of state sovereignty) and grounded normativity (as a way of making visible the contingency of such narratives of state sovereignty). Following the work of James Tully and John Borrows in Resurgence and Reconciliation, particularly the argument that transformative reconciliation must involve reconciliation with the living earth, my project aims to show that official reconciliation actually prevents the possibility of transformative reconciliation because of the role it plays in furthering an extractivist agenda by “exceptionalizing" Indigenous peoples and life-ways to rhetorically contain Indigenous anti-colonial or anti-industry actions, physically contain Indigenous dissenters during moments of crisis (i.e. states of exception), pre-emptively frame Indigenous dissenters as terroristic, and foreclose discussions of ongoing colonialism. / Graduate

The main purpose of exception handling mechanisms is to improve software robustness by handling exceptions when they occur. However, empirical evidence indicates that improper implementation of exception handling code can be a source of faults in software systems. There is still limited empirical knowledge about the relationship between exception handling code and defects. In this dissertation, we present three case studies investigating defect densities of exception handling code. The results show that in every system under study, the defect density of exception handling code was significantly higher than the defect density of overall source code and normal code. The ability to predict the location of faults can assist in directing quality enhancement efforts to modules that are likely to have faults. This information can be used to guide test plans, narrow the test space, and improve software quality. We hypothesize that complicated exception handling structure is a predictive factor that is associated with defects. To the best of our knowledge, no study has addressed the relationship between the attributes of exception handling method call structures and defect occurrence, nor has prior work addressed fault prediction. We extract exception-based software metrics from the structural attributes of exception handling call graphs. To find out whether there are patterns of relationship between exception-based software metrics and fault-proneness, we propose a defect prediction model using exception handling call structures. We apply the J48 algorithm, which is the Java implementation of the C4.5 algorithm, to build exception defect prediction models. In two out of three systems under study, the results reveal that there are logical patterns of relationships between most class level exception metrics and fault-proneness. The accuracy of our prediction models is comparable to the results of defect prediction model studies in the literature. It was observed that our approach has somewhat worse predictive accuracy when a system has low average defects per class.