Tesis (magíster en derecho con mención en derecho penal) / El actual Código Aeronáutico chileno entró en vigencia el 08 de febrero de 1990. Uno de sus principales aportes es su título XIII, denominado “De los delitos contra la seguridad de la aviación civil.” Estos ilícitos presentan características distintivas: son delitos de peligro, con sujetos activos especiales, y están plagados de elementos normativos muy peculiares. En 1991 se introdujo un nuevo artículo al Código Aeronáutico, el 194 bis, para sancionar conductas que, distintas del terrorismo, atentaran contra la seguridad de la aviación civil o la pusieran en peligro. La finalidad perseguida fue llenar un vacío legislativo para sancionar delitos graves contra aeronaves. Sin embargo, una revisión crítica del sistema penal aeronáutico en su conjunto nos conduce a conclusiones diversas, y a la necesidad de introducir reformas

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-30T13:26:30Z No. of bitstreams: 1 FladsonThiagoOliveiraGomes_DISSERT.pdf: 2012982 bytes, checksum: 32b3a5c5873614b73f362994472d31a9 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-30T22:06:38Z (GMT) No. of bitstreams: 1 FladsonThiagoOliveiraGomes_DISSERT.pdf: 2012982 bytes, checksum: 32b3a5c5873614b73f362994472d31a9 (MD5) / Made available in DSpace on 2018-07-30T22:06:38Z (GMT). No. of bitstreams: 1 FladsonThiagoOliveiraGomes_DISSERT.pdf: 2012982 bytes, checksum: 32b3a5c5873614b73f362994472d31a9 (MD5) Previous issue date: 2016-03-03 / Atualmente, a etapa de testes no processo de desenvolvimento de software tornou-se imprescindível para garantir a confiabilidade e qualidade do código em produção. As constantes evoluções na arquitetura e código de um sistema, criam sérios desafios para os desenvolvedores e testadores, uma vez que modificações podem não se comportar como o esperado. Neste contexto surge a necessidade de ferramentas e mecanismos que diminuam o impacto negativo gerado pelas constantes evoluções do sistema. Dentre as ferramentas que analisam esse impacto, poucas apresentam os fluxos de execução entre métodos que foram afetados e nenhuma apresenta como resultado se esses fluxos afetados pela evolução estão ou não cobertos pelos testes. Assim, este trabalho apresenta uma abordagem que tem como objetivo principal: (i) analisar a cobertura de código levando em consideração os fluxos de chamadas existentes no sistema que foram afetados por evoluções de código, assim como os fluxos de execução oriundos da execução dos testes; (ii) indicar quais fluxos de chamadas do sistema que possuem métodos modificados e não estão sendo cobertos pelos testes atualmente e que, portanto, poderiam ser considerados para melhorar a qualidade dos testes; e (iii) indicar se houve degradação na qualidade da suíte de testes. Um estudo empírico foi realizado em 6 sistemas e os resultados mostram que a abordagem conseguiu identificar entre 19% e 92% de fluxos de execução afetados por mudanças que não estão cobertos e ainda que 3 dos 6 sistemas tiveram uma degradação na qualidade dos testes.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-06-15T20:18:58Z No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-06-18T19:19:46Z (GMT) No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) / Made available in DSpace on 2018-06-18T19:19:46Z (GMT). No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) Previous issue date: 2018-02-22 / O uso de Geradores Automáticos de Código para Métodos Formais não apenas minimiza esforços na implementação de Sistemas de Software, como também reduz a chance da existência de erros na execução destes Sistemas. Estas ferramentas, no entanto, podem ter faltas em seus códigos-fonte que causam erros na geração dos Sistemas de Software, e então a verificação de tais ferramentas é encorajada. Esta tese de Doutorado visa criar e desenvolver uma estratégia para verificar JCircus, um Gerador Automático de Código de um amplo sub-conjunto de Circus para Java. O interesse em Circus vem do fato de que ele permite a especificação dos aspectos concorrentes e de estado de um Sistema de maneira direta. A estratégia de verificação consiste nos seguintes passos: (1) extensão da Semântica Operacional de Woodcock e prova de que ela é sólida com respeito à Semântica Denotacional existente de Circus na Teoria Unificada de Programação (UTP), que é um framework que permite prova e unificação entre diferentes teorias; (2) desenvolvimento e implementação de uma estratégia que verifica o refinamento do código gerado por JCircus, através de uma toolchain que engloba um Gerador de Sistema de Transições Rotuladas com Predicado (LPTS) para Circus e um Gerador de Modelos que aceita como entrada (I) o LPTS e (II) o código gerado por JCircus, e gera um modelo em Java Pathfinder que verifica o refinamento do código gerado por JCircus. Através da aplicação do passo (2) combinada com técnicas baseadas em cobertura no código fonte de JCircus, nós visamos aumentar a confiabilidade do código gerado de Circus para Java. / The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the implementation of Software Systems, but also reduces the chance of existing errors on the execution of such Systems. These tools, however, can themselves have faults on their source codes that may cause errors on the generation of Software Systems, and thus verification of such tools is encouraged. This PhD thesis aims at creating and developing a strategy to verify the code generation from the Circus formal method to Java Code. The interest in Circus comes from the fact that it allows the specification of concurrent and state-rich aspects of a System in a straightforward manner. The code generation envisaged to be verified is performed by JCircus, a tool that translates a large subset of Circus to Java code that implements the JCSP API. The strategy of verification consists on the following steps: (1) extension of Woodcock’s Operational Semantics to Circus processes and proof that it is sound with respect to the Denotational Semantics of Circus in the Unifying Theories of Programming (UTP), that is a framework that allows proof and unification of different theories; (2) development and implementation of a strategy that refinement-checks the code generated by JCircus, through a toolchain that encompasses (2.1) a Labelled Predicate Transition System (LPTS) Generator for Circus and (2.2) a Model Generator that inputs (I) a LPTS and (II) the code generated by JCircus, and generates a model (that uses the Java Pathfinder code model-checker) that refinement-checks the code generated by JCircus. Combined with coverage-based techniques on the source code of JCircus, we envisage improving the reliability of the Code Generation from Circus to Java.

Memoria (licenciado en ciencias jurídicas y sociales) / En esta tesis se analiza la acción que conceden los artículos 1458 y 2316 del Código Civil, para perseguir en un tercero el provecho que éste haya obtenido a partir de un hecho doloso, con el objetivo de determinar cuál es su fundamento. Considerando las fuentes de las obligaciones que establece el mismo Código, se analizan todas las alternativas disponibles a la luz de las características y requisitos que la doctrina ha desarrollado en relación a cada una de tales fuentes. Se concluye que se trata de un caso de enriquecimiento injusto, considerando la forma en que, desde el derecho romano y hasta la actualidad, se ha entendido en nuestra tradición jurídica el principio que prohíbe enriquecerse a expensas de otro de un modo que no se ajusta a las reglas del Derecho. Se concluye, asimismo, que lo específicamente injusto de este provecho está dado por el dolo que está en el origen de la ganancia. A partir de tales conclusiones, avaladas por la revisión de significativa doctrina acerca del derecho de enriquecimiento, y también de la escasa jurisprudencia disponible al respecto, se propone que está pendiente en nuestro país una sistematización más profunda del derecho de enriquecimiento, considerado como fuente autónoma de obligaciones, que permita definir con claridad los contornos de esta institución. Dentro de las limitaciones propias del objetivo y extensión de este trabajo, se adelantan algunos criterios respecto a cuándo debe calificarse como injusto un enriquecimiento. Por último, se revisan la naturaleza y los requisitos de procedencia de la acción de enriquecimiento, conocida en nuestro derecho como acción de in rem verso, considerando para esta definición la evolución que ha tenido esta acción desde el derecho romano clásico, y cómo su actual configuración es la resulta de una superposición entre la actio de in rem verso y la condictio

El presente trabajo de investigación tiene por finalidad analizar la verdadera función que cumple en nuestro ordenamiento jurídico el artículo VI del Título Preliminar de nuestro Código Civil. El correcto entendimiento de dicha norma permitirá consolidar el debate en la doctrina nacional sobre el tema del interés para obrar y de la legitimidad para obrar, no solo dentro del contexto del Código Civil sino, en general, en nuestra comunidad jurídica y su repercusión en la jurisprudencia nacional. Analizando detenidamente el artículo VI del Título Preliminar del Código Civil peruano de 1984 y, su antecedente, el artículo IV del Título Preliminar del Código Civil de 1936, llegamos a la conclusión de que detrás de dicha norma se encuentra una equivocada noción de conceptos jurídicos básicos ya superados por la doctrina jurídica desde hace muchos años. Para efectuar un trabajo científico serio hemos recurrido al estudio de las fuentes que dan origen al artículo VI del Título Preliminar del Código Civil de 1984, que arrastra los errores contenidos en el artículo IV del Título Preliminar el Código Civil de 1936, originado, a su vez, en una lectura incorrecta del artículo 36 del código procesal italiano de 1865 efectuada por el codificador civil brasilero de 1916. Es importante también señalar que, además del método histórico, hemos también recurrido al método sistemático, al método dogmático y al método funcional, lo que nos ha permitido encuadrar adecuadamente conceptos jurídicos tales como el del interés y sus formas diversas, de la acción y de la pretensión a la luz de la doctrina jurídica más autorizada. Propugnamos la pronta derogación de la norma materia de este estudio, especialmente por tratarse de una norma de naturaleza procesal ubicada incorrectamente dentro del Código Civil, dando lugar a frecuentes errores de carácter técnico jurídico por parte de la jurisprudencia.

La presente investigación estudia la posibilidad de renunciar a la prescripción en materia tributaria. El tema ha sido abordado por diversos pronunciamientos de los órganos administrativos y judiciales encargados de resolver controversias en materia tributaria, dentro de los cuales se observan criterios contradictorios. En este entendido, la investigación pretende aportar fundamentos sólidos para resolver el tema en mención. Si bien el Código Tributario regula lo concerniente a la prescripción, no existe dispositivo alguno que se refiera específicamente a su renuncia. Por lo tanto, se estudia la posibilidad de aplicar supletoriamente el Código Civil, donde la renuncia se encuentra debidamente regulada. Para dicho fin, se analiza las principales similitudes y diferencias entre la prescripción tributaria y la civil, llegando a la conclusión que la aplicación supletoria de la figura: “renuncia a la prescripción ganada” no desnaturaliza el ordenamiento tributario. Además, se analizan algunos actos que realizan los deudores tributarios, para verificar si pueden considerarse como actos de renuncia a la prescripción. Finalmente se concluye que es posible renunciar a la prescripción tributaria únicamente en la etapa intermedia del fenómeno; sin embargo, es importante analizar cada acto realizado por el deudor para determinar si de su contenido se desprende la manifestación de voluntad de renunciar a este beneficio

Two tasks that software engineers constantly perform are writing code that is easy to evolve and maintain, and detecting poorly written pieces of code. For the former, software engineers commonly rely on well-known software architecture styles, such as Model-View-Controller (MVC). To the latter, they rely on code metrics and code smell detection approaches. However, up to now, these code metrics and code smell approaches do not take into account underlying architectureall classes are assessed as if they were the same. In practice, software developers know that classes differ in terms of responsibilities and implementation, and thus, we expect these classes to present different levels of coupling, cohesion, and complexity. As an example, in an MVC system, Controllers are responsible for the flow between the Model and the View, and Models are responsible for representing the systems business concepts. Thus, in this thesis, we evaluate the impact of architectural roles within a system architecture on code metrics and code smells. We performed an empirical analysis in 120 open source systems, and interviewed and surveyed more than 50 software developers. Our findings show that each architectural role has a different code metric values distribution, which is a likely consequence of their specific responsibilities. Thus, we propose SATT, an approach that provides specific thresholds for architectural roles that are significantly different from others in terms of code smells. We also show that classes that play a specific architectural role contain specific code smells, which developers perceive as problems, and can impact class\' change- and defect-proneness. Based on our findings, we suggest that developers understand the responsibilities of each architectural role in their system architecture, so that code metrics and code smells techniques can provide more accurate feedback. / Duas tarefas que desenvolvedores de software constantemente fazem são escrever código fácil de ser mantido e evoluído, e detectar pedaços de código problemáticos. Para a primeira tarefa, desenvolvedores comumente fazem uso de conhecidos padrões arquiteturais, como Model-View-Controller (MVC). Para a segunda tarefa, desenvolvedores fazem uso de métricas de código e estratégias de detecção de maus cheiros de código (code smells). No entanto, até o momento, métricas de código e estratégias de detecção de maus cheiros de código não levam em conta a arquitetura do software em análise. Isso significa que todas classes são avaliadas como se umas fossem iguais às outras. Na prática, sabemos que classes são diferentes em suas responsibilidades e implementação, e portanto, esperamos que elas variem em termos de acoplamento, coesão e complexidade. Por exemplo, em um sistema MVC, Controladores são responsáveis pelo fluxo entre a camada de Modelo e a camada de Visão, e Modelos representam a visão de negócios do sistema. Nesta tese, nós avaliamos o impacto dos papéis arquiteturais em técnicas de medição de métricas de código e de detecção de maus cheiros de código. Nós realizamos um estudo empírico em 120 sistemas de código aberto, e entrevistamos e realizamos questionários com mais de 50 desenvolvedores. Nossos resultados mostram que cada papel arquitetural possui distribuições diferentes de valores de métrica de código, consequência das diferentes responsabilidades de cada papel. Como consequência, propomos SATT, uma abordagem que provê thresholds específicos para papéis arquiteturais que são significantemente diferentes de outros em termos de métricas de código. Mostramos também que classes que cumprem um papel arquitetural específico também contêm maus cheiros de código específicos. Esses maus cheiros são percebidos por desenvolvedores como problemas reais e podem fazer com que essas classes sejam mais modificadas e apresentem mais defeitos do que classes limpas. Sugerimos então que desenvolvedores entendam a arquitetura dos seus sistemas, bem como as responsabilidades de cada papel arquitetural que as classes desempenham, para que tanto métricas de código quanto estratégias de detecção de maus cheiros de código possam prover um melhor retorno.

Made available in DSpace on 2016-06-02T19:06:10Z (GMT). No. of bitstreams: 1 5666.pdf: 3321258 bytes, checksum: c402c2fb8a619d07842991622736ea5a (MD5) Previous issue date: 2013-10-22 / Universidade Federal de Minas Gerais / Code generators play a key role in model-driven software development. They are responsible for transforming high-level assets (models) into implementation assets (code). Most generators are based on templates, which are pieces of text instrumented with code expansion elements. They receive an input and produce an output according to the template's programming. To build such template-based generators, the code of an existing implementation, already tested and validated, can be used as a reference, in a process known as code migration. With software evolution and the need for changes in the code generator, the templates start to differ from this reference implementation. In order to restablish the synchronization, additional effort is required. Tackling the challenge of keeping these assets synchronized (reference implementation and templates) is this dissertation's subject. The goal is to provide some automation to the code migration process, even if partial, in order to increase productivity in the maintenance of code generators. A mechanism was developed to make it possible to automatically reproduce changes that are performed in the reference implementation into one or more code generation templates. This mechanism was evaluated through an empirical study, yielding good performance in a controlled environment. This indicates that automation can help to reduce the effort in the maintenance of code generators in a model-driven development context. / Os geradores de código desempenham um papel fundamental no desenvolvimento de software orientado a modelos. São responsáveis pela transformação dos artefatos de alto nível de abstração (modelo) em elementos de implementação (código). Os tipos mais comuns de geradores são os baseados em template. São compostos fundamentalmente por elementos de expansão de código, que recebem uma entrada e a convertem em código, conforme a programação inserida nesses templates. O código de uma implementação já testado e validado pode servir de referência para a criação de templates, por meio de um processo conhecido como migração de código. Com a dinâmica da evolução do software e a necessidade de efetuar mudanças no gerador de código ocorre a perda de sincronismo entre os templates e esse código de referência, sendo necessário um esforço adicional para mantê-los sincronizados. O desafio de manter esses artefatos sincronizados constituiu o objetivo desta dissertação de mestrado, que proporcionou ganhos de produtividade, por meio de uma automação, ainda que parcial, desse processo. Nesse sentido, foi desenvolvido um mecanismo para propagar automaticamente as alterações introduzidas no código de referência para os templates, que reduziu o tempo e facilitou a manutenção de geradores de código que sofrem com o problema da perda de sincronismo nesses artefatos. O protótipo para a migração automática de código desenvolvido nesta dissertação foi submetido a um estudo empírico, atingindo um bom desempenho com a sua utilização na maioria das tarefas de migração de código avaliadas, o que indica que a automação pode ajudar a resolver o problema e reduzir o esforço de manutenção no desenvolvimento de software orientado a modelos.

Two tasks that software engineers constantly perform are writing code that is easy to evolve and maintain, and detecting poorly written pieces of code. For the former, software engineers commonly rely on well-known software architecture styles, such as Model-View-Controller (MVC). To the latter, they rely on code metrics and code smell detection approaches. However, up to now, these code metrics and code smell approaches do not take into account underlying architectureall classes are assessed as if they were the same. In practice, software developers know that classes differ in terms of responsibilities and implementation, and thus, we expect these classes to present different levels of coupling, cohesion, and complexity. As an example, in an MVC system, Controllers are responsible for the flow between the Model and the View, and Models are responsible for representing the systems business concepts. Thus, in this thesis, we evaluate the impact of architectural roles within a system architecture on code metrics and code smells. We performed an empirical analysis in 120 open source systems, and interviewed and surveyed more than 50 software developers. Our findings show that each architectural role has a different code metric values distribution, which is a likely consequence of their specific responsibilities. Thus, we propose SATT, an approach that provides specific thresholds for architectural roles that are significantly different from others in terms of code smells. We also show that classes that play a specific architectural role contain specific code smells, which developers perceive as problems, and can impact class\' change- and defect-proneness. Based on our findings, we suggest that developers understand the responsibilities of each architectural role in their system architecture, so that code metrics and code smells techniques can provide more accurate feedback. / Duas tarefas que desenvolvedores de software constantemente fazem são escrever código fácil de ser mantido e evoluído, e detectar pedaços de código problemáticos. Para a primeira tarefa, desenvolvedores comumente fazem uso de conhecidos padrões arquiteturais, como Model-View-Controller (MVC). Para a segunda tarefa, desenvolvedores fazem uso de métricas de código e estratégias de detecção de maus cheiros de código (code smells). No entanto, até o momento, métricas de código e estratégias de detecção de maus cheiros de código não levam em conta a arquitetura do software em análise. Isso significa que todas classes são avaliadas como se umas fossem iguais às outras. Na prática, sabemos que classes são diferentes em suas responsibilidades e implementação, e portanto, esperamos que elas variem em termos de acoplamento, coesão e complexidade. Por exemplo, em um sistema MVC, Controladores são responsáveis pelo fluxo entre a camada de Modelo e a camada de Visão, e Modelos representam a visão de negócios do sistema. Nesta tese, nós avaliamos o impacto dos papéis arquiteturais em técnicas de medição de métricas de código e de detecção de maus cheiros de código. Nós realizamos um estudo empírico em 120 sistemas de código aberto, e entrevistamos e realizamos questionários com mais de 50 desenvolvedores. Nossos resultados mostram que cada papel arquitetural possui distribuições diferentes de valores de métrica de código, consequência das diferentes responsabilidades de cada papel. Como consequência, propomos SATT, uma abordagem que provê thresholds específicos para papéis arquiteturais que são significantemente diferentes de outros em termos de métricas de código. Mostramos também que classes que cumprem um papel arquitetural específico também contêm maus cheiros de código específicos. Esses maus cheiros são percebidos por desenvolvedores como problemas reais e podem fazer com que essas classes sejam mais modificadas e apresentem mais defeitos do que classes limpas. Sugerimos então que desenvolvedores entendam a arquitetura dos seus sistemas, bem como as responsabilidades de cada papel arquitetural que as classes desempenham, para que tanto métricas de código quanto estratégias de detecção de maus cheiros de código possam prover um melhor retorno.

La presente investigación tiene por objetivo explicar la realidad jurídica en torno a la ordenación de los tipos en los derechos reales, analizando y distinguiendo el concepto de tipicidad y la regla del numerus clausus. A partir de ello, exponer los fundamentos para la flexibilización del tipo y su ordenación a través de grados en los derechos reales. Asimismo, esta investigación busca exponer la utilidad práctica de la regla del numerus clausus en los derechos reales, a través de la comparación de su comportamiento en los property rights; contextualizando dicha regla dentro de la construcción teórica de los derechos reales como un concepto o categoría general con vocación ordenante. Se persigue, por último, exponer los fundamentos para la regulación de una «parte general» en el Código Civil que contenga las normas jurídicas aplicables a todos los tipos de derechos reales, permitiendo la integración de los actuales vacíos normativos y facilite la labor de interpretación a los operadores jurídicos.