Magíster en Ciencias, Mención Computación / Los tipos refinados (Refinement Types) son una técnica efectiva de verificación basada en lenguajes que extienden la expresividad de los sistemas de tipos tradicionales incluyendo la posibilidad de restringir valores usando predicados lógicos. Sin embargo, como cualquier otra disciplina de tipos expresiva, obligan a los programadores a lidiar con las estrictas restricciones impuestas por los tipos. Esto puede resultar ser demasiado tedioso para los programadores, especialmente en etapas tempranas de desarrollo donde el código cambia constantemente. Nosotros conjeturamos que esta rigidez no deseada puede obstaculizar la adopción de los tipos refinados. Los tipos graduales (Gradual Typing) permiten combinar la flexibilidad de los lenguajes dinámicamente tipados con las garantías otorgadas por los lenguajes estáticamente tipados. Usando tipos graduales, los programadores pueden comenzar un desarrollo con código chequeado completamente de forma dinámica y aprovechar la flexibilidad de las construcciones idiomáticas típicas de los lenguajes dinámicos. A medida que el código se vuelve más estable, el programador o la programadora puede escoger verificar estáticamente ciertas porciones del programa, haciendo precisos los tipos en esos puntos. Finalmente, si lo desea, también puede decidir verificar el código completamente de forma estática. Los sistemas de tipos graduales aseguran una transición suave entre estos distintos niveles de precisión. Esta tesis demuestra como los tipos graduales pueden ser extendidos para soportar los tipos refinados, permitiendo una evolución suave además de interoperabilidad entre tipos simples y tipos lógicamente refinados. Al hacer esto, se atacan dos desafíos previamente inexplorados en la literatura sobre tipos graduales: lidiar con información lógica imprecisa y con la presencia de tipos dependientes. El primer desafío condujo a una noción crucial de localidad para fórmulas, mientras que el segundo desafío terminó en la definición de novedosos operadores relacionados con substitución al nivel de tipos y términos, que identifican nuevas oportunidades para errores en tiempo de ejecución en lenguajes graduales con tipos dependientes. / Este trabajo ha sido parcialmente financiado por CONICYT - PCHA Magíster Nacional 2015-22150894

Memoria para optar al Título Profesional de Ingeniero Forestal

[pt] Esta dissertação de mestrado apresenta a utilização do novo paradigma de desenvolvimento de software, a programação orientada a objetos (OOP), na modelagem em redes de transportes. A utilização da OOP visa, através de suas características: herança, polimorfismo e encapsulamento, aumentar a flexibilidade, produtividade e eficiência dos softwares desenvolvidos segundo seus princípios. O programa desenvolvido, visa servir como uma ferramenta de auxílio a tomada de decisão, a nível estratégico, no planejamento de redes de transportes urbanos. O software faz a alocação de fluxos em redes buscando minimizar o custo do usuário, ou seja, segundo o primeiro princípio de Wardrop. Este estudo foi baseado no método Fusion, que propõe uma abordagem sistemática para o desenvolvimento de software orientado a objetos. O método também está voltado para requisitos de desenvolvimento para e com reutilização. Será feita uma abordagem a nível de análise, projeto e implementação. / [en] This Master thesis presents the utilization in transport modeling the new paradigm in software development, the Object Oriented Program (OOP). The using of OOP seeks improve the flexibility, productivity and efficiency in software developed under such principles. This will be done thought its characteristics: inheritance, polymorphism and encapsulation. The application of the OOP principles has been done adjusting the software TRAFFIC, developed in the University of Montreal. The model will be used like a decision making tool for the urban network transportation planning, ai a strategic level. The software assigns vehicle flows on road networks in order to minimize the user cost, following the first Wardrop`s principle. This research has been based on the Fusion method, that presents a systematic approach for development of object oriented software. The method also is directed toward the requirements of development with and for reutilization. The study will be developed at the level of analysis, project and implementation. / [es] Esta disertación de mestrado presenta la utilización del nuevo paradigma de desarrollo de software, la programación orientada a objetos (OOP), en la modelaje de redes de transportes. La utilización de la OOP tiene como objetivo, a través de sus características (herencia, polimorfismo y encapsulamiento) aumentar la flexibilidad, productividad y eficiencia de los softwares desarrollados según sus principios. El programa desarrollado sirve como herramienta de auxilio a la toma de decisión, a nivel estratégico, en la planificación de redes de transportes urbanos. El software configura los flujos en redes buscando minimizar el costo del usuario, o sea, según el primer princípio de Wardrop. Este estudio está basado en el método Fusión, que propone una abordaje sistemática para el desarrollo de software orientado a objetos. El método también considera requisitos de desarrollo para y con reutilización. Se realiza una abordaje a nível de análise, proyecto e implementación.