Spelling suggestions: "subject:"programación."" "subject:"programacions.""
1 |
Gradual refinement typesLehmann Meléndez, Nicolás Emilio January 2017 (has links)
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
|
2 |
Desarrollo de un modelo de optimización para el despacho de recursos para el combate de incendios forestales.Granada Musa, Ramón January 2004 (has links)
Memoria para optar al Título
Profesional de Ingeniero Forestal
|
3 |
[pt] MODELAGEM DE REDES DE TRANSPORTES USANDO A PROGRAMAÇÃO ORIENTADA A OBJETOS / [es] MODELAJE DE REDES DE TRANSPORTE UTILIZANDO A PROGRAMACIÓN ORIENTADA A OBJETOS / [en] TRANSPORTATION NETWORKS MODELLING USING OBJECT ORIENTED PROGRAMMING17 July 2001 (has links)
[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.
|
Page generated in 0.0482 seconds