Made available in DSpace on 2014-06-12T16:01:30Z (GMT). No. of bitstreams: 2 arquivo9418_1.pdf: 2222541 bytes, checksum: b014d66f1d25c6852ecac19fa19003b7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Muitos dos problemas encontrados no uso do mecanismo de tratamento de exceções são causados pela falta de projeto e teste do comportamento excepcional de um sistema em fases iniciais do desenvolvimento de software. Como consequência, exceções são propagadas de forma inesperada durante causando impacto negativo na confiabilidade de um software. Neste trabalho apresentamos uma abordagem que possibilita projetar testes desde as atividades iniciais do desenvolvimento e verificar, em tempo de execução, como as exceções trafegam ao longo de um sistema. Através da especificação do fluxo excepcional esperado é possível determinar se uma exceção foi propagada corretamente. Um segundo uso desta abordagem destina-se ao auxilio das atividades de manutenção de um sistema. Para isto, uma versão inicial existente é especificada e os testes são executados nas novas versões ao longo da evolução do sistema. Com isso é possível verificar a consistência do comportamento excepcional a cada nova versão. Um benefício da abordagem proposta deve-se ao fato de que os testes escritos servem como a própria documentação viva do sistema mantendo-a sempre atualizada. Para a avaliação desta abordagem foram selecionados três sistemas: aTunes, jEdit e Health Watcher. Através do seu uso foram descobertos dezesseis bugs. Deste total doze foram erros inéditos não reportados na base de bugs destes projetos. Não somente bugs foram descobertos com a utilização desta abordagem. Do ponto de vista de testes automatizados, como artefatos de documentação, foram apontadas diversas diferenças entre as versões dos sistemas com relação aos fluxos excepcionais testados. Para auxiliar a automação dos testes, a abordagem foi implementada como uma extensão do framework JUnit. Os testes especificados nesta extensão contém informações complementares sobre o fluxo excepcional esperado

Doutor -- Escola Nacional de Saude Publica, Rio de Janeiro, 2002. / SAUDE PUBLICA.

Este artículo no presenta resumen.

Memoria para optar al título de Arquitecto / La ciudad está sometida a constantes cambios, el constante crecimiento, la migración de habitantes, entre otros factores producen grandes modificaciones en el entorno, las cuales deben ser reconocidas e incluidas como parte de nuestra realidad. Es en este contexto que se reconoce como una oportunidad de aportar nuevos conocimientos a la disciplina de la arquitectura la creación de un sistema de monitoreo para los Sitios de Patrimonio Mundial, entendiendo que en Chile existen actualmente 6 de ellos, los cuales no cuentan con esta herramienta, cuyo desarrollo es clave para el resguardo patrimonial. Debido a las complejidades que presenta monitorear un Sitio de Patrimonio Mundial y entendiendo que dicho proceso debe ser particularizado para cada uno de ellos, es que se escoge como caso de estudio el Área Histórica de la Ciudad Puerto de Valparaíso, lugar que se encuentra en peligro por la falta de sistemas claros que protejan su Valor Universal Excepcional y preserven su autenticidad e integridad que le dieron su nombramiento. Para lograr el desarrollo de esta herramienta se realiza en primer lugar una revisión bibliográfica enfocada en la protección de áreas urbanas, similares al caso de estudio, así como documentos nacionales e internacionales que permitan generar un marco de referencia con respecto a las líneas a seguir en temas de resguardo patrimonial, posterior a ello se ha analizado y estudiado el monitoreo como proceso y extrapolado al caso de estudio. Este trabajo ha tenido como resultado una primera propuesta de un sistema de monitoreo para el Área Histórica de la Ciudad-Puerto de Valparaíso, definiendo dimensiones, indicadores y descriptores que permitirán a futuro analizar las condiciones existentes en el sitio y con ello proponer las acciones necesarias al respecto.

Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no julgamento individual de cada programador. Isto resulta na não consideração de partes expressivas do código em termos de verificação e, consequentemente, a possibilidade de não serem detectados erros relativos tanto às próprias estruturas de tratamento quanto às estruturas de código vinculadas a estas. A fim de abordar este problema, propomos uma técnica, baseada em model checking, que automatiza o processo de exercício de caminhos excepcionais. Isto permite que seja observado o comportamento de um software quando da ocorrência de uma exceção. Pretendemos, com esta técnica, dar suporte para que seja aplicado aos caminhos que representam o comportamento excepcional de um software as mesmas técnicas de detecção de erros que são aplicadas aos caminhos que representam o comportamento normal e, com isso, agregar um aumento na qualidade do desenvolvimento de software. / Software developed in modern languages, such as Java, commonly present structures of exception handling. These structures, when exercised, may affect the software behavior. Despite these two characteristics, the main verification techniques, software testing and formal verification and the tools related to them, tend to neglect the exceptional behavior. The nonexistent specification of software exceptional behaviors at the design level, and, the subsequent implementation of exception handling based on the judgment of each programmer, are some factors that lead to this neglect. These factors result in the non-consideration of the expressive parts of the code in verification terms and, consequently, the impossibility of errors detection concerning either the exception treatment structures or the code structures linked to them. Taking this fact into consideration, we propose a technique based on the model checking process, which automates the process of exercising exceptional paths to address this problem. This allows the observation of the software behavior when an exception occurs. With this technique, we intend to support the application of the same error detection techniques for program normal behavior paths to the paths that represent the software exceptional behavior. Therefore, using the proposed technique, we aim to increase the software development quality.

Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no julgamento individual de cada programador. Isto resulta na não consideração de partes expressivas do código em termos de verificação e, consequentemente, a possibilidade de não serem detectados erros relativos tanto às próprias estruturas de tratamento quanto às estruturas de código vinculadas a estas. A fim de abordar este problema, propomos uma técnica, baseada em model checking, que automatiza o processo de exercício de caminhos excepcionais. Isto permite que seja observado o comportamento de um software quando da ocorrência de uma exceção. Pretendemos, com esta técnica, dar suporte para que seja aplicado aos caminhos que representam o comportamento excepcional de um software as mesmas técnicas de detecção de erros que são aplicadas aos caminhos que representam o comportamento normal e, com isso, agregar um aumento na qualidade do desenvolvimento de software. / Software developed in modern languages, such as Java, commonly present structures of exception handling. These structures, when exercised, may affect the software behavior. Despite these two characteristics, the main verification techniques, software testing and formal verification and the tools related to them, tend to neglect the exceptional behavior. The nonexistent specification of software exceptional behaviors at the design level, and, the subsequent implementation of exception handling based on the judgment of each programmer, are some factors that lead to this neglect. These factors result in the non-consideration of the expressive parts of the code in verification terms and, consequently, the impossibility of errors detection concerning either the exception treatment structures or the code structures linked to them. Taking this fact into consideration, we propose a technique based on the model checking process, which automates the process of exercising exceptional paths to address this problem. This allows the observation of the software behavior when an exception occurs. With this technique, we intend to support the application of the same error detection techniques for program normal behavior paths to the paths that represent the software exceptional behavior. Therefore, using the proposed technique, we aim to increase the software development quality.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-16T20:39:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Valdemir R. Fernandes.pdf: 5688372 bytes, checksum: 356f127671d921ecf46dff9a78f7cbc3 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-16T20:40:15Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Valdemir R. Fernandes.pdf: 5688372 bytes, checksum: 356f127671d921ecf46dff9a78f7cbc3 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-16T20:40:39Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Valdemir R. Fernandes.pdf: 5688372 bytes, checksum: 356f127671d921ecf46dff9a78f7cbc3 (MD5) / Made available in DSpace on 2017-08-16T20:40:39Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Valdemir R. Fernandes.pdf: 5688372 bytes, checksum: 356f127671d921ecf46dff9a78f7cbc3 (MD5) Previous issue date: 2016-03-15 / The study of extreme events, specially the exceptional floods, has become increasingly necessary in Manaus for planning purposes both in the form of action to coping as for prevention for avoiding losses of materials and lives. The objective of the research was to analyze the environmental impacts caused by exceptional floods of the Rio Negro in Manaus, in the period from 1950 to 2015. Field and office researches were held and after data collection, it moved to the next phase: analysis and systematization of data obtained in the collection phase. With the obtained results, we conducted an analytical discussion pointing out problems and suggesting actions as alternative solutions. The recurrence of exceptional floods is increasing and, depending on their behavior in regard to intensity and duration, the results are great losses in all aspects: in the circulation of goods and people, in education, trade and services, housing and mainly in health, in which we regret negative data deaths. The results show that the Government needs to innovate, create alternatives that enable the planning and execution of an urban redevelopment, providing opportunities for the least favored to a housing policy, in which the priority is to act efficiently and effectively in the removal of families occupying irregularly the areas of the river basins (watersheds) of Educandos and São Raimundo subjected to flooding. Intensify, in all segments, the transdisciplinarity of Environmental Education as well as the recovery and preservation of river channels and areas of permanent preservation. It is necessary to encourage and invest in studies that show definitive solutions to such a serious problem and it must be a number one priority for the governance of the city of Manaus. Keywords: Exceptional Flooding, Impacts, Watershed, River Channels. / O estudo dos eventos extremos, em particular, as cheias excepcionais, torna-se cada vez mais necessário em Manaus para fins de planejamento tanto na forma de atuação ao enfrentamento como na prevenção para que se evitem prejuízos materiais e de vidas. O objetivo da pesquisa foi analisar os impactos socioambientais causados pelas cheias excepcionais do Rio Negro em Manaus, no período entre 1950 a 2015. Pesquisas de campo e bibliográficas foram realizadas e, após a coleta de dados, passou-se para a fase seguinte: análise e sistematização dos dados obtidos. Com os resultados realizamos uma discussão analítica apontando problemas e sugerindo medidas como alternativas de solução. A recorrência de cheias excepcionais é cada vez maior e dependendo de seu comportamento no que tange a intensidade e duração, os resultados são de grandes perdas em todos os aspectos seja na circulação de produtos e pessoas, na educação, no comércio e prestação de serviços, na habitação e principalmente na saúde, onde amargamos dados negativos de óbitos. Os resultados evidenciam que o Poder Público necessita inovar, criar alternativas que possibilitem o planejamento e execução de um reordenamento urbano, oportunizando aos menos favorecidos uma política habitacional, onde a prioridade seja atuar com eficiência e eficácia na retirada de famílias que ocupam áreas irregulares inseridas nas bacias hidrográficas do Educandos e São Raimundo sujeitas a inundação. Intensificar em todos os segmentos a multidisciplinaridade da educação ambiental, bem como a recuperação e preservação dos canais fluviais e áreas de preservação permanente (APP). É necessária a priorização de incentivos e investimentos em pesquisas que apontem soluções definitivas para resolução de problemas importantes devendo ser prioridade zero para a governança do Município de Manaus e do Estado.

Made available in DSpace on 2014-12-17T15:48:06Z (GMT). No. of bitstreams: 1 RicardoJSJ_DISSERT.pdf: 4102063 bytes, checksum: 92b62a467283fb011a1258e8b80ca7b4 (MD5) Previous issue date: 2013-02-01 / Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code / Verificar a conformidade entre a implementa??o de um sistema e suas regras de design ? uma atividade importante para tentar garantir que n?o ocorra a degrada??o entre os padr?es arquiteturais definidos para o sistema e o que realmente est? implementado no c?digo-fonte. Especialmente no caso de sistemas dos quais se exige um alto n?vel de confiabilidade ? importante definir regras de design (design rules) espec?ficas para o comportamento excepcional. Tais regras descrevem como as exce??es devem fluir atrav?s do sistema, definindo quais s?o os elementos respons?veis por capturar as exce??es lan?adas por outros elementos do sistema. Entretanto, as abordagens atuais para verificar automaticamente regras de design n?o proveem mecanismos adequados para definir e verificar regras de design espec?ficas para a pol?tica de tratamento de exce??es das aplica??es. Este trabalho prop?e uma abordagem pr?tica para preservar o comportamento excepcional de uma aplica??o ou fam?lia de aplica??es, baseada na defini??o e verifica??o autom?tica em tempo de execu??o de regras de design de tratamento de exce??o para sistemas desenvolvidos em Java ou AspectJ. Para apoiar esta abordagem foi desenvolvida, no contexto deste trabalho, uma ferramenta chamada VITTAE (Verification and Information Tool to Analyze Exceptions) que estende o framework JUnit e permite automatizar atividades do teste de regras de design excepcionais. Foi realizado um estudo de caso preliminar com o objetivo de avaliar a efic?cia da abordagem proposta sobre uma linha de produto de software. Al?m deste, foi realizado um experimento cujo objetivo foi realizar uma an?lise comparativa entre a abordagem proposta e uma abordagem baseada na ferramenta JUnitE, que tamb?m prop?e testar o c?digo de tratamento de exce??es utilizando testes JUnit. Os resultados mostraram que as regras de design excepcionais evoluem ao longo de diferentes vers?es de um sistema e que a VITTAE pode auxiliar na detec??o de defeitos no c?digo de tratamento de exce??o

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.

Submitted by Irene Nascimento (irene.kessia@ufpe.br) on 2017-03-13T18:32:52Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese_Ana Paula Lins (14.10.16).pdf: 3958582 bytes, checksum: 866d6ef41fdae25f9793ab77bdba82ff (MD5) / Made available in DSpace on 2017-03-13T18:32:52Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese_Ana Paula Lins (14.10.16).pdf: 3958582 bytes, checksum: 866d6ef41fdae25f9793ab77bdba82ff (MD5) Previous issue date: 2015-09-14 / Esta tese intitulada como “As ferrovias como Patrimônio Cultural Mundial: Os Estados-parte, a UNESCO e o Valor Universal Excepcional” apresenta como principal objetivo investigar a atribuição do valor universal excepcional “outstanding universal value” (OUV) às ferrovias inscritas na Lista do Patrimônio Mundial, através da análise destinada a identificar os critérios e requisitos necessários para o seu reconhecimento. Assim sendo, apresenta-se dividida em 03 etapas: a primeira corresponde ao eixo teórico da pesquisa, onde são abordados o entendimento do patrimônio ferroviário e do valor universal excepcional. Para tanto, são apresentados, em um primeiro momento, um panorama geral sobre as ferrovias, as discussões sobre a preservação do patrimônio ferroviário no contexto mundial, e a percepção do patrimônio ferroviário no âmbito da UNESCO. A seguinte abordagem teórica centra-se na compreensão do valor à luz da Teoria dos Valores (Axiologia dos Valores) e da Teoria da Conservação. O segundo eixo da pesquisa refere-se aos aspectos metodológicos adotados para a investigação da atribuição do valor universal excepcional às ferrovias mundiais. Desta forma, são selecionados 03 (três) estudos de caso, para a consecução do objetivo central desta tese: a ferrovia Semmering, na Áustria; a Ferrovia Darjeeling, na Índia; e a Ferrovia Rhaetian, que corta os países da Suíça e Itália. O método selecionado para a análise das aludidas ferrovias é a Análise de Contéudo, de Bardin, aplicado no corpus documental, composto pelos Documentos de Avaliação do Corpo Consultivo de cada ferrovia analisada. A tese utiliza como premissa de que a partir da identificação dos atributos das ferrovias é possível interpretar os valores que, de forma inter-relacionada, conformam a categoria do valor universal excepcional das ferrovias mundiais. Desta forma, a partir da análise realizada em cada uma das ferrovias selecionadas, foi possível inferir que o seu valor universal excepcional é composto por uma pluralidade de valores dinâmicos e interdependentes, que se relacionam de forma a ressaltar uma ordem e uma hierarquia, onde os valores de maior destaque são o que mais importam preservar, por justificarem o reconhecimento das ferrovias como patrimônio cultural mundial. / The dissertation "The railways as a World Cultural Heritage: States Parties, UNESCO and the Outstanding Universal Value" has aims at investigating the attribution of Outstanding Universal Value (OUV) to railways included on the World Heritage List, through the identification of criteria and requirements for recognition. The research focuses on 03 stages. The first stage is the theoretical framework of the research, aiming at approaching the theoretical problem: an understanding of the railway heritage and of outstanding universal value. Accordingly, there follow an overview of the railways, discussions on the preservation of the railway heritage in the global context, and in the UNESCO context. The second theoretical approach corresponds to the understanding of the value to the Theory of Values (Axiology of Values) and Conservation Theory. The second approach focused on the investigation of the empirical problem: the attribution of outstanding universal value. In this way, three (03) case studies to achieve the central objective of this thesis are highlighted: The Semmering Railway, Austria; the Railway Darjeeling, India; and the Rhaetian Railway, which crosses Switzerland and Italy. The method used for the analysis of that railway is Bardin`s Content Analysis, applied to the documentation corpus, consisting of the Advisory Body Assessment Document of each analyzed railroad. The dissertation is based on the premise that from the railways attributes of identification it is possible to interpret the values that make up the outstanding universal value of the world's railways. Thus, the empirical axis of research, analysis of each of the selected railways performed, leadin to infer that the outstanding universal value of the global railway is composed of a plurality of values dynamic and interdependent and that there is a hierarchy in its relations, point out an order, where the most outstanding values are what should be preserved, as justified by the recognition of the railways as a cultural world.