Submitted by Clebson Anjos (clebson.leandro54@gmail.com) on 2016-02-15T21:36:06Z No. of bitstreams: 1 arquivototal.pdf: 2545614 bytes, checksum: d022fd3dbe168cb8f6486517b7db1286 (MD5) / Made available in DSpace on 2016-02-15T21:36:06Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2545614 bytes, checksum: d022fd3dbe168cb8f6486517b7db1286 (MD5) Previous issue date: 2015-08-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Deaf people communicate naturally using visual-spatial languages, called sign languages. The sign languages (SL) are recognized as official languages in many countries, but the problems faced by deaf people to access to information remains. As a result, they have difficult to exercise their citizenship and to access information in LS. In order to minimize this problem, some works have been developed related to the machine translation of spoken languages to sign languages. However, these solutions have some limitations, since they have to generate contents for deaf with the same quality to the listeners. Thus, this work aims to develop a solution for machine translation to Brazilian Sign Language (LIBRAS) addressing syntactic-semantic issues. This solution includes a LIBRAS machine translation component; a rule description language, modeled to describe morphosyntactic-semantic machine translation rules; the definition of a grammar exploring these aspects; and the integration of these elements with VLibras, a machine translation service of digital contents in Brazilian Portuguese to LIBRAS. To evaluate the solution, some computational tests were performed using WER and BLEU metrics, along with some tests with Brazilian deaf users and LIBRAS specialists. The results show that the proposed approach could improve the results of the current version of VLIBRAS. / Pessoas surdas se comunicam naturalmente usando linguagens viso-espaciais, denominadas línguas de sinais. No entanto, apesar das línguas de sinais (LS), em muitos países, serem reconhecidas como língua, os problemas enfrentados pelos surdos no tocante ao acesso a informação permanecem. Em consequência disso, observa-se uma grande dificuldade dos surdos exercerem a sua cidadania e terem acesso à informação através das LS, o que acaba geralmente implicando em atraso linguístico e de aquisição do conhecimento. Visando propor soluções alternativas para minimizar a marginalização dos surdos, alguns trabalhos vêm sendo desenvolvidos relacionados à tradução automática de línguas orais para línguas de sinais. No entanto, as soluções existentes apresentam muitas limitações, pois precisam garantir que o conteúdo disponibilizado aos surdos chegue com a mesma qualidade que aos ouvintes. Neste sentido, o presente trabalho tem como objetivo desenvolver uma solução para tradução automática para LIBRAS com adequação sintático-semântica. Essa solução envolve um componente de tradução automática para LIBRAS; uma linguagem formal de descrição de regras, modelada para criar regras de tradução sintático-semânticas; a definição de uma gramática explorando esses aspectos; e a integração desses elementos no serviço VLibras, um serviço de tradução automática de conteúdos digitais em Português para LIBRAS. Para avaliar a solução, alguns testes computacionais utilizando as métricas WER e BLEU e com usuários surdos e ouvintes da LIBRAS foram realizados para aferir a qualidade da saída gerada pela solução. Os resultados mostram que a abordagem proposta conseguiu melhorar os resultados da versão atual do VLibras.

Made available in DSpace on 2015-05-08T14:53:30Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2082485 bytes, checksum: 0c5cd714d0a43bac80888cfc1dd4e7cb (MD5) Previous issue date: 2010-09-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This search has as goal to validate the hypothesis of the applicability of data mining techniques in Bidding and Contracts database managed by the Account Court of Paraiba State, enabling the generation of rules and discovery of hidden knowledge or implicit, contributing to the process of decision making, supervision and celerity in this Court of Auditors. To the best comprehension of this work, It was made a literature revision bringing at first place a historic vision about the decision process, as well as this theme evolution studies and the relation between the tender processes sent to Account Court of Paraiba State and the fraud indication discovery process and irregularities through the data mining process using. We will bring to light the concept of Business Intelligence (BI) and for it`s main components, as well as the concepts of knowledge discovery in database, and a comparing between the using of the instruments of data mining. We expect from this implant of the data mining an increase in the productivity and also an increase in speed of lawsuit process from the public accounts analysis and public money fiscal control. / Esta pesquisa tem como objetivo validar a hipótese da aplicabilidade das técnicas de mineração de dados na base de dados de Licitação e Contratos gerenciada pelo Tribunal de Contas do Estado da Paraíba (TCE-PB), possibilitando a geração de regras e descoberta de conhecimento oculto ou implícito, contribuindo desta forma com o processo de tomada de decisão, fiscalização e celeridade processual no âmbito desta Corte de Contas. Para melhor compreensão desse trabalho foi realizada uma revisão de literatura abordando primeiramente um histórico sobre o processo de decisão, bem como a evolução dos estudos deste tema e da relação entre os processos licitatórios enviados ao TCE-PB e o processo de descoberta de indícios de fraudes e irregularidades através do uso de mineração de dados. São abordados os conceitos sobre a tecnologia de Business Intelligence (BI) e dos seus principais componentes, bem como os conceitos de Descoberta de Conhecimentos em Bases de Dados (Knowledge Discorevy in Databases), e uma comparação das funcionalidades presentes nas ferramentas de mineração de dados. Espera-se com a implantação desta ferramenta de mineração de dados, um ganho de produtividade e um aumento na celeridade do tramite processual decorrentes da análise das contas públicas e na fiscalização do erário.

Made available in DSpace on 2015-05-14T12:36:36Z (GMT). No. of bitstreams: 1 ArquivoTotalRenata.pdf: 2638998 bytes, checksum: c2e2373b63cd157ac4705018a4e58468 (MD5) Previous issue date: 2013-02-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In recent years, there was an increasing interest in the use of information technology in the medical field. In this way, several studies have been conducted regarding a large range of diseases, including cancer. For example, there are organizations that maintain databases, which record information about cases of cancer around the world, so that health personnel can investigate such bases and find possible classifications for an initial diagnostic according to the symptoms presented by their patients. However, these databases do not offer a proper support for this investigation. This dissertation discusses the use of the of case-based reasoning and rule-based reasoning technologies as a solution to support medical diagnosis via representations of actual patients and adaptations of these cases to define more specialized diagnoses, according to the peculiarities of each patient. The data collection was carried out in the Napoleao Laureano Hospital, at Joao Pessoa city, and the information inherent in the structure of the case, the rules and weights were defined in accordance with the specialized literature and conversations with health professionals. Despite the absence of a specialist, the small base of cases and presence of limited information on each of them, the results showed that the system is effective as a RBC system aimed at diagnosis about cancer. The focus of this project is on the main gastrointestinal cancer domain, but the ideas can be extended to other fields of cancer. / O tratamento de pacientes com câncer é um desafio para os hospitais e centros de saúde. O primeiro problema é classificar ou identificar o tipo específico de câncer. Em seguida, os médicos devem determinar um tratamento adequado para tal doença. Existem bancos de dados mundiais que registram informações sobre câncer, de modo que os médicos possam tentar achar uma classificação para a doença de acordo com os sintomas apresentados pelo paciente. Contudo eles não oferecem um bom suporte para a procura das doenças e, principalmente, para a identificação do tratamento. Este artigo propõe a utilização das tecnologias de raciocínio baseado em casos e raciocínio baseado em regras como solução para suportar estas duas atividades via representações de casos de pacientes e adaptações destes casos para a definição de diagnósticos mais especializados, de acordo com as peculiaridades de cada paciente. Nosso foco é sobre o câncer gastrointestinal, mas as idéias podem ser estendidas para outros domínios de câncer.

Made available in DSpace on 2014-12-17T14:36:37Z (GMT). No. of bitstreams: 1 ClaudiaRK_TESE.pdf: 4611625 bytes, checksum: b928ac226dc53d6b6f3e2ba8a2ac7f9d (MD5) Previous issue date: 2014-04-05 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / To think about a school that is for everyone has been a challenge for many people connected to education worldwide demanding from researchers of each level of knowledge an association to such effort. The study presented on this paper unites itself to the voices, movements and researches of these scholars, seeking to contribute on building possibilities on which mathematics can be thought and worked on schools in order for every student to learn, whether they have some sort of deficiency, disorders, syndromes or not. This essay has the goal to investigate the possibilities of inclusive pedagogical practices mediated by math games with rules, developed and used throughout the Universal Design perspective; a qualitative research took place with a collaborative methodology that involved managers, teachers and students from a public school situated on the city of Natal/Brazil. On the investigation math games with rules were developed and made according to the Universal Design concept, starting from initial studies which articulated theoretical groundings to the reality of school and the teacher s conceptions. After that, classes using these tools were planned collectively which oriented inclusive pedagogical practices of classes from the 1st to the 4th year of elementary school. Throughout the process many instruments such as: tape recording, video footages, notes from the researcher; the teachers and the students were used for constant work evaluation and also to record the research data. In the end, the data indicated effective contributions of the mediated pedagogical practices by games with rules under the perspective of Universal Design for Inclusive Mathematics Education / Pensar uma escola para todos tem sido um desafio para in?meras pessoas ligadas ? Educa??o em n?vel mundial, demandando de pesquisadores em cada ?rea do conhecimento se associarem a tal esfor?o. O estudo aqui apresentado se junta ?s vozes, movimentos e pesquisas desses sujeitos, buscando contribuir no sentido de construir possibilidades para que a matem?tica seja pensada e trabalhada na escola com vistas ? aprendizagem de todos os alunos, sejam eles pessoas com defici?ncia, transtornos, s?ndromes ou n?o. Tendo como objetivo investigar as possibilidades de pr?ticas pedag?gicas inclusivas mediadas por jogos matem?ticos com regras, desenvolvidos e utilizados na perspectiva do Desenho Universal, efetivou-se pesquisa qualitativa, com metodologia colaborativa, que envolveu gestores, professores e alunos de uma escola da rede p?blica de Natal/RN. Na investiga??o, a partir de estudos iniciais que articularam fundamenta??o te?rica ? realidade da escola e ?s concep??es dos professores, foram desenvolvidos e confeccionados jogos matem?ticos com regras de acordo com o conceito do Desenho Universal. Em momento posterior, planejou-se coletivamente aulas com essas ferramentas, que nortearam pr?ticas pedag?gicas inclusivas em turmas do 1? ao 4? ano do Ensino Fundamental. No decorrer do processo, v?rios instrumentos foram utilizados para avalia??o constante do trabalho e tamb?m como registros de dados da pesquisa: grava??es, filmagens em v?deo, apontamentos da pesquisadora, dos professores, dos alunos. Ao final, os dados indicaram contribui??es efetivas das pr?ticas pedag?gicas mediadas pelos jogos com regras, na perspectiva do Desenho Universal, ? Educa??o Matem?tica Inclusiva

Made available in DSpace on 2015-02-24T18:20:51Z (GMT). No. of bitstreams: 1 ClaudiaRK_DISSERT.pdf: 1148880 bytes, checksum: 92024d25b109822d127283668e0e38a9 (MD5) Previous issue date: 2011-07-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This present study aimed to examine the use of games with rules in working with math education in regular classes included in Elementary School, in the municipal education schools of Natal/RN, observing the learning process and development of all students, especially those with disabilities. The theoretical references used are based on Vygotsky's works and other authors from the historical-cultural perspective, as well as researchers in the field of Inclusive Education and Mathematics Education. The investigation was based on the qualitative research guidelines, with the application of semi-structured interviews with educational coordinators and teachers from the schools involved as well as classroom observations, looking for, in the speeches of those involved and in their teaching practices, elements to reflect on the Mathematics Inclusive Education, the use of games with rules -starting from its goals, the participation of disabled students, the pedagogical mediations, up to its accessibility - and from the learning of disabled students. The analysis results showed that the concepts underlying the development of inclusive teaching practices still refer to the clinical-medical paradigm, understanding the student with disabilities from their deficiencies; which teachers use, in their majority, the mathematical games with rules in their classes, but which the teaching mediation, during these activities, still needs to be qualified so that they can, effectively, contribute to the learning and development of all students; students with disabilities do not always participate in games with others colleagues; games with rules are rarely accessible; and that the Universal Design principles are not adopted in the selected classrooms for this study. Thus, it is clear that much remains to be done so that Mathematics Education can contribute to the learning and development of all students, and among those actions the teacher continuing education is recommended / O presente estudo teve por objetivo analisar a utiliza??o dos jogos com regras no trabalho com Educa??o Matem?tica em classes regulares inclusivas do Ensino Fundamental I, de escolas da rede municipal de ensino de Natal/RN, atentando para o processo de aprendizagem e desenvolvimento de todos os alunos, principalmente daqueles com defici?ncia. O referencial te?rico utilizado se constitui das obras de Vygotsky e de outros autores da perspectiva hist?rico-cultural, bem como de pesquisadores na ?rea da Educa??o Inclusiva e da Educa??o Matem?tica. Valeu-se, na investiga??o, das diretrizes da pesquisa qualitativa, com a realiza??o de entrevistas semiestruturadas junto a coordenadores pedag?gicos e professores das escolas envolvidas e de observa??es de aulas, buscando nos discursos dos envolvidos e nas suas pr?ticas pedag?gicas elementos para refletir acerca da Educa??o Matem?tica Inclusiva, da utiliza??o de jogos com regras desde seus objetivos, a participa??o dos alunos com defici?ncia, as media??es pedag?gicas, at? sua acessibilidade e da aprendizagem dos alunos com defici?ncia. Os resultados da an?lise apontaram que as concep??es que norteiam as pr?ticas pedag?gicas inclusivas ainda remetem ao paradigma m?dico-cl?nico, entendendo o aluno com defici?ncia a partir de suas incapacidades; que os professores se utilizam, em sua maioria, dos jogos matem?ticos com regras em suas aulas, mas que a media??o pedag?gica, no decorrer dessas atividades, ainda precisa ser qualificada para que eles possam, efetivamente, contribuir para a aprendizagem e para o desenvolvimento de todos os alunos; que os alunos com defici?ncia nem sempre participam dos jogos com os demais colegas; que os jogos com regras raramente s?o acess?veis; e que os princ?pios do Desenho Universal n?o s?o adotados nas salas de aula integrantes da pesquisa. Desse modo, percebe-se que ainda h? muito a ser feito para que a Educa??o Matem?tica possa contribuir para a aprendizagem e para o desenvolvimento de todos os alunos; entre essas a??es, recomenda-se a forma??o continuada de professores

Made available in DSpace on 2014-12-17T14:56:03Z (GMT). No. of bitstreams: 1 FabioSL.pdf: 932823 bytes, checksum: c32fee13ca97b70482987a8228b171cd (MD5) Previous issue date: 2004-07-15 / The main objective of work is to show procedures to implement intelligent control strategies. This strategies are based on fuzzy scheduling of PID controllers, by using only standard function blocks of this technology. Then, the standardization of Foundation Fieldbus is kept. It was developed an environment to do the necessary tests, it validates the propose. This environment is hybrid, it has a real module (the fieldbus) and a simulated module (the process), although the control signals and measurement are real. Then, it is possible to develop controllers projects. In this work, a fuzzy supervisor was developed to schedule a network of PID controller for a non-linear plant. Analyzing its performance results to the control and regulation problem / Com o objetivo de se manter a padroniza??o Foundation Fieldbus, neste trabalho s?o apresentados procedimentos para se implementar estrat?gias de controle inteligente, baseadas em escalonamento nebuloso de controladores PID, utilizando-se apenas blocos funcionais padr?es dessa tecnologia. Para validar a proposta, foi desenvolvido um ambiente para realiza??o dos testes necess?rios. Este ambiente ? h?brido, ou seja, possui uma parte real (a rede industrial) e uma parte simulada (o processo), por?m os sinais de controle e medi??o s?o reais. Desta forma, ? poss?vel desenvolver projetos de controladores. Neste trabalho desenvolveu-se um supervisor fuzzy para escalonar uma rede de controladores PID para uma determinada planta n?o-linear, sendo analisados seus resultados de desempenho tanto para o problema de controle quanto de regula??o

Made available in DSpace on 2014-12-17T14:56:06Z (GMT). No. of bitstreams: 1 ValciFV.pdf: 4064929 bytes, checksum: 7505ce5888faec9ca00ba6843780670e (MD5) Previous issue date: 2005-07-26 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work consists of the creation of a Specialist System which utilizes production rules to detect inadequacies in the command circuits of an operation system and commands of electric engines known as Direct Start. Jointly, three other modules are developed: one for the simulation of the commands diagram, one for the simulation of faults and another one for the correction of defects in the diagram, with the objective of making it possible to train the professionals aiming a better qualification for the operation and maintenance. The development is carried through in such a way that the structure of the task allows the extending of the system and a succeeding promotion of other bigger and more complex typical systems. The computational environment LabView is employed to enable the system / Este trabalho consiste na cria??o de um Sistema Especialista que utiliza regras de produ??o para detec??o de falhas nos circuitos de comandos de um sistema de acionamento e comandos de motores el?tricos conhecido como Partida Direta. Conjuntamente s?o desenvolvidos tr?s outros m?dulos, um para simula??o do diagrama de comandos, um para simula??o de defeitos e outro para corre??o de defeitos no diagrama com o objetivo de possibilitar o treinamento de profissionais visando uma melhor capacita??o para opera??o e manuten??o. O desenvolvimento ? realizado de forma que a estrutura do trabalho permita a amplia??o do sistema e posterior desenvolvimento de outros sistemas t?picos de maior tamanho e complexidade. Para implementa??o do sistema ? utilizado o ambiente computacional LabView

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A física de partículas vem atualmente estudando tópicos como o plasma de quarks e glúons (QGP), o bóson de Higgs e a matéria escura, que requerem experimentos de colisões entre partículas cada vez mais energéticas. Para isso, são necessários aceleradores capazes de gerar partículas projéteis a cada vez mais altas energias, o que pode levar a uma nova física. Quando novos dados surgem nos laboratórios, novos processos são necessários para explicar estes dados e algumas vezes a estrutura interna das partículas envolvidas é desconhecida. Nos modelos teóricos, usados para descrever estes processos de espalhamento, é comum introduzir o fator de forma. O fator de forma é simplesmente uma maneira de simular a sub-estrutura das partículas envolvidas nestes processos com função da energia ou momento. A obtenção dos atores de forma pode ser feita usando o método conhecido como Regras de Soma da QCD (RSQCD). Neste trabalho, será estudado o vértice D*Dp usando as RSQCD, de modo que seja possível obter os seus fatores de forma e sua constante de acoplamento. Para isso, foram estudados os casos em que o méson ρ e o méson D estão fora de suas camadas de massa. O vértice D*Dp é muito importante para entender melhor o ρπ Puzzle, onde o méson Ј/ψ decai ρπ em com um branching ratio maior do que o esperado (este é um processo suprimido pela regra de OZI). Estudando este processo com graus de liberdade mesnicos, é possível escapar da regra de OZI, uma vez que o processo Ј/ψ→ DD → ρπ não é suprimido por OZI. Ao se fazer isso, aparecerá, entre outros, o vértice D*Dp . Este é um vértice que também aparece em outros decaimentos, como por exemplo X(3872) →Ј/ψp e B→Ј/ψD. Ao final do desenvolvimento, os resultados obtidos neste trabalho para o vértice D*Dp foram comparados com outros encontrados na literatura, se mostrando compatíveis com estes outros trabalhos. / The particle physics have been studying topics like the Quark-Gluon Plasma (QGP), Higgs boson and dark matter, which require experiments in heavy-ion collisions. Therefore, accelerators capable of generate high energy particle beams are necessary and may generate new physics. When new data arise in the laboratories, new processes are necessary to explain this data and sometimes, the internal structure of the involved particles is unknow or are virtual. In the theoretical models, used to describe this scattering processes, is common to introduce the form factors. The form factor is a way to simulate the sub-structure of the involved particles as function of energy or momentum. The form factor can be obtained using a method called QCD Sum Rules (QCDSR). In this work, the vertex D*Dp will be studied using the QCDSR, in order to obtain its form factors and coupling constant.The D*Dp vertex is very important to understand the ρπ Puzzle, where the Ј/ψ meson decays in ρπ with a branching ratio bigger than expected (this is a suppressed process by the OZI Rule). Studying this process with hadronic degrees of freedom, its possible to escape of the OZI rule, once the Ј/ψ→ DD → ρπ is not suppressed by the OZI rule. In this process, the D*Dp vertex is necessary. There are other processes where this vertex is necessary: X(3872)→Ј/ψp and B→Ј/ψD for example. In this work, was only possible to obtain results from the ρ off-shell diagram. This results were compared with others obtained in the literature.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-18T19:35:37Z No. of bitstreams: 1 DemostenesSantosDeSena_TESE.pdf: 4593790 bytes, checksum: 3e0845d816f16e3a8f7659744e28f8ad (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-19T19:11:29Z (GMT) No. of bitstreams: 1 DemostenesSantosDeSena_TESE.pdf: 4593790 bytes, checksum: 3e0845d816f16e3a8f7659744e28f8ad (MD5) / Made available in DSpace on 2017-10-19T19:11:30Z (GMT). No. of bitstreams: 1 DemostenesSantosDeSena_TESE.pdf: 4593790 bytes, checksum: 3e0845d816f16e3a8f7659744e28f8ad (MD5) Previous issue date: 2017-02-13 / Os mecanismos de tratamento de exce??es s?o recursos fornecidos pelas principais linguagens de programa??o para auxiliar no desenvolvimento de sistemas robustos. A pol?tica de tratamento de exce??es corresponde ao conjunto de regras de design do tratamento excepcional e definem os elementos de c?digo (m?todos, classes ou pacotes) respons?veis pela sinaliza??o, propaga??o, captura das exce??es e as respectivas a??es de tratamento. Alguns estudos emp?ricos demonstraram que o tratamento inadequado de exce??es, consequ?ncia da falta da pol?tica documentada, ? uma poss?vel fonte de defeitos. Por outro lado, devido ? natureza impl?cita dos fluxos de exce??es, a identifica??o e corre??o dos tratamentos de exce??es tornam-se tarefas complexas. Para amenizar os problemas decorrentes do tratamento inadequado devido ? falta de documenta??o do tratamento de exce??es, algumas abordagens definiram linguagens de especifica??o das regras de tratamento com suporte ferramental para auxiliar na defini??o e checagem das regras. Entretanto, historicamente, as pol?ticas de tratamento de exce??es dos sistemas s?o postergadas ou ignoradas no processo de desenvolvimento. Adicionalmente, nenhuma das abordagens propostas oferece suporte ? defini??o das regras, de forma a auxiliar o arquiteto a extrair as regras a partir da an?lise de c?digo fonte pr?-existente, e este ? o objetivo da abordagem apresentada neste trabalho. Para apoiar a execu??o da abordagem proposta, foi desenvolvida uma ferramenta de an?lise est?tica que permite: (i) a coleta dos fluxos excepcionas e das respectivas a??es de tratamentos; (ii) a identifica??o e defini??o dos agrupamentos, que s?o os elementos de c?digo que possuem os mesmos comportamentos em rela??o ao tratamento de exce??es; (iii) a extra??o das regras; e, (iv) a checagem das regras e identifica??o das causas das viola??es ? pol?tica. A abordagem ? demonstrada em dois estudos emp?ricos. No primeiro estudo emp?rico foram analisadas 656 bibliotecas (libs) Java do reposit?rio central Maven com objetivo de extrair e caracterizar a pol?tica de tratamento de exce??es destas libs. Este estudo revelou que 80,9% das bibliotecas possuem fluxos excepcionais que implementam pelo menos um anti-pattern do tratamento excepcional. O segundo estudo emp?rico teve como objetivo investigar os benef?cios da extra??o das regras excepcionais a partir do c?digo pr?-existente no processo de defini??o e checagem da pol?tica de tratamento de exce??es. Dois sistemas de informa??o Web (i.e., IProject e SIGAA) foram utilizados neste segundo estudo. Neste estudo pudemos observar que todas as regras reportadas pelos arquitetos foram extra?das pelo suporte ferramental, e que os resultados do processo de extra??o permitiram que novas regras fossem adicionadas pelos arquitetos. Essas regras adicionadas foram as regras n?o definidas pelos arquitetos e corresponderam ? 57,1% (IProject) e 52,8% (SIGAA/Gradua??o) das regras da pol?tica dos sistemas analisados. O processo de checagem das regras definidas com o apoio da abordagem mostrou que 35,6% e 45,7% dos fluxos excepcionais do IProject e SIGAA/Gradua??o, respectivamente, violavam alguma das regras de tratamento de exce??es. / The Exception handling (EH) mechanism is a technique embedded in most of the mainstream programming languages to support the development of robust systems. The exception handling policy is composed by the set of exception handling design rules and which specify the elements (methods, classes and packages) or that contains the elements responsible for raising, propagating and catching of exceptions as well as the handling actions. Empirical studies have demonstrated that an inappropriate exception handling as consequence of undocumented exception handling policy is a source of bug hazards. On the other hand, due to the implicit nature of exception flows, the identification of exception handling code is a complex task. To address the problems resulting from the not-understood or inadequate exception handling, some approaches have been proposed languages to specify exception handling rules as well as a set of support tool to verify the constraints and checking the rules. However, historically, the exception handling policies are postponed or ignored in the software process development. Additionally, none of the proposed approaches provide support to the phase of exception policy definition. This work proposes an approach that helps the architect to extract the EH rules by performing an analysis on the existing code. Doing so, this approach fills the previous gap the EH policy definition. To support the proposed approach, a static tool suite was developed, which performs: (i) the discovery of exception flows and its handling actions; (ii) the definition of compartments; (iii) the semi-automatic rule extraction process; and (iv) the rule checking and identification of rule violation causes. This approach was assessed in two empirical studies. In the first study, 656 libraries from Maven central repository were analyzed. The main goal of this study was to reveal and to characterize the exception handling policy of the analyzed libraries. This study revealed that 80.9% of the analyzed libraries have exception flows that implement at least one exception handling anti-pattern. In the second study, we investigated the benefits of rule extraction process in the definition and checking of exception handling rules. Two web information systems (i.e., IProject and SIGAA) were analyzed in this second study. We found that all set of rules reported by the architects were extracted by our tool and the result of extraction process allowed that new rules were added to the policy. These added rules were not defined by architects and they corresponded to 57.1% (IProject) and 52.8% (SIGAA/Gradua??o) of the rules of analyzed systems. The checking process of defined rules supported by our approach verified that 35.6% (IProject) and 45.7% (SIGAA/Gradua??o) of exception flows violated some defined rule.

O presente trabalho pretende apresentar um modelo unificado para o tratamento das estabilidades processuais (coisa julgada e preclusões). Para tanto, parte de duas premissas fundamentais: a segurança como continuidade jurídica, uma forma dinâmica de proteger a estabilidade sem impedir alterações de conteúdo nos atos jurídicos estáveis; e, de outro lado, a concepção das estabilidades processuais como uma cadeia de vínculos em contraditório. A combinação destas premissas resgata o papel da argumentação jurídica no sistema da coisa julgada, retomando a importância da vinculatividade das razões de decidir; e também incorpora ao modelo uma dimensão interprocessual que visa a garantir harmonia e coerência ao tráfego jurídico. Com base nestes pilares, tenta-se propor parâmetros para uma nova compreensão dos limites objetivos e temporais da coisa julgada. No campo dos limites objetivos, destaca-se a elaboração em torno dos esquemas argumentativos, estruturas aglutinadas de elementos processuais referentes ao exercício do contraditório. Em relação aos limites temporais, procura-se elaborar um modelo de revisão das estabilidades que incorpore o novum sem impedir a mudança. Neste contexto, trabalham-se também mecanismos compensatórios para a superação das estabilidades, tais como o ônus argumentativo no procedimento de quebra, e as regras de transição editadas pelo próprio Poder Judiciário. / The present work intends to present a unified model for the juridical treatment of the procedural forms of stability (res iudicata and issue preclusions). For this purposes, it has two fundamental premises: on the one hand, security as legal continuity, a dynamic way to protect the stability without preventing changes in the content of stable acts. On the other hand, the conception of procedural stabilities as chains of binding links operated through the right to a fair hearing. With the combination of these aspects, the role of the argumentation and the exercise of procedural rights gain in importance to the system of res iudicata, reviving the bindingness not only of the conclusion but also of the reasoning of the judgement; and also provides an inter-procedural dimension in order to guarantee harmony and coherence to the whole of juridical relations. By means of this ideas, the present work proposes parameters to verify the objective and time limits of claim and issue preclusions. In regard of the object of preclusions, a bigger role plays the concept of argumentative schemes, linked structures of procedural elements that refer to the exercise of the right to a fair hearing. In terms of the time limits of preclusions, the present thesis focus on establishing a model of review that incorporates the novum without preventing change of content. Therefore it works with compensatory mechanisms to overcome stabilities like, for instance, the burden of argumentation in the proceeding and transition rules edited by the Judiciary.