Cálculos relacionales para la especificación y derivación de algoritmos /
El tema de esta tesis son los cálculos relacionales que permiten especificar y derivar programas formalmente. Hoy en día, estamos asistiendo a la llegada a la madurez, tanto teórica como práctica, de los métodos formales en ingeniería del software. Un factor nada despreciable que ha actuado como imp...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
1998.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 04838nam a22002175a 4500 | ||
|---|---|---|---|
| 001 | EUN.um066469 | ||
| 003 | AR-BaUNS | ||
| 005 | 20050623122930.0 | ||
| 008 | 041125s1998####ag#######bm###000#0#spa#d | ||
| 245 | 1 | 0 | |a Cálculos relacionales para la especificación y derivación de algoritmos / |c Carlos J. Gonzalía. |
| 260 | |c 1998. | ||
| 300 | |a 119 h. | ||
| 502 | |a Tesis--Universidad Nacional del Sur, 1998. | ||
| 504 | |a Incluye referencias bibliográficas. | ||
| 520 | |a El tema de esta tesis son los cálculos relacionales que permiten especificar y derivar programas formalmente. Hoy en día, estamos asistiendo a la llegada a la madurez, tanto teórica como práctica, de los métodos formales en ingeniería del software. Un factor nada despreciable que ha actuado como impulso en la búsqueda de tal madurez es la creciente dificultad en asegurar la calidad del software, cuando la complejidad de las tareas demandadas al mismo ha ido creciendo enormemente. Una parte fundamental de los métodos formales consiste en la construcción de programas a partir de sus especificaciones formales, dentro de algún cálculo o sistema formal que sea adecuado para que el usuario del mismo cuente con asistencia de una herramienta de software en su tarea. De estos cálculos, los más útiles son los relacionales, por su mayor poder expresivo en comparación con los cálculos funcionales. Existen dos aproximaciones bastante distintas (en sus herramientas conceptuales) a la creación de un cálculo relacional. Una de ellas es la basada en álgebras, y la otra la basada en categorías. La aproximación basada en álgebras utiliza álgebras relacionales y los sistemas que se derivan de las mismas, con un mayor hincapié en la aplicación de conceptos no demasiado complejos de la lógica y la teoría de conjuntos. Estos conceptos se aplican intensivamente a la construcción de programas, y la posibilidad de hacerlo así en todos los programas computables va de la mano con un problema que ya tiene su tiempo y sus soluciones limitadas en el pasado: la algebrización de la lógica de primer orden. Recorreremos extensamente la versión de las álgebras relacionales conocida como fork álgebras, en la cuales el problema de la algebrización tiene una solución cómoda. Es de especial interés la formalización de las distintas estrategias de solución que se usan cuando se diseña un programa. La segunda aproximación se basa en conceptos categóricos, las llamadas alegorías. Por medio de las mismas, se obtiene un método de especificación de los tipos de datos más uniforme y expresivo que con la otra aproximación, pero pagando el precio de una gran complejidad conceptual a la hora de derivar suavemente programas realistas. Esta aproximación es más adecuada para el estudio abstracto de los diferentes esquemas algorítmicos y sus propiedades, siendo un poco dificultosa como método de derivación de programas a partir de especificaciones debido a la mayor rigidez y complejidad conceptual que le plantean a un usuario de métodos formales. Luego de presentar ambas aproximaciones, intentaremos establecer puntos de comparación, tanto formales como empíricos, entre ellas, para indagar acerca de las ventajas y desventajas potenciales que estas dos visiones distintas conllevan como método formal. Algunos de estos resultados los obtendremos con ayuda de una clase de álgebras que comparte características de ambas aproximaciones, las llamada álgebras relacionales heterogéneas. Como veremos, estas comparaciones son incómodas de hacer, ya que no hay muchas transiciones directas entre las alegorías y las álgebras fork. Las comparaciones empíricas, aunque limitadas a casos razonablemente pequeños para conservar breve e interesante este escrito, arrojarán útiles observaciones sobre la diferencia conceptual impuesta por una u otra de las dos aproximaciones a discutir. Finalmente, indagaremos sobre la posibilidad de ejecutar las especificaciones relacionales, lo que da lugar a un posible paradigma de programación novedoso: los lenguajes relacionales. Por desgracia, como veremos, mucho trabajo resta por ser siquira empezado en dicha área, y deberemos limitarnos a establecer cuales son las posibilidades más prometedoras. Con esto, terminaremos una exploración acotada pero provechosa de las posibilidades y promesas que encierran los cálculos relacionales como herramienta práctica, junto con la riqueza teórica a la que dan origen. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 6/8/98 | ||
| 100 | 1 | |a Gonzalía, Carlos J. |9 1383113 | |
| 082 | 0 | 4 | |a 040 |
| 082 | 0 | 4 | |a 005.1 |
| 653 | |a Programacion de computadoras. |9 003826 | ||
| 653 | |a Soporte logico. |9 006156 | ||
| 859 | |a Ar-BaUNS |b BIB. CENTRAL - Tesis |h 040 |i B148 1998-378 |k R |p 108427/998 | ||