Objetivos del Proyecto

2.3. OBJETIVOS DEL PROYECTO
2.3.1. Objetivos globales del proyecto.

1. Definición de una estrategia de ingeniería reversal formal de software que permita el cálculo de especificaciones a partir del código fuente.
2. Generación de conocimiento en la forma de esquemas de cálculo, operadores, propiedades o leyes algebraicas aplicadas al CIP.
3. Fortalecimiento de la cooperación, integración e intercambio entre los investigadores en métodos formales de la UCSE con los de la Universidad de la República (Uruguay).

2.3.2. Objetivos específicos de la etapa propuesta

1. Diseño de mecanismos y extrategias en el CIP para resolver situaciones que involucren efectos secundarios, utilizando operadores monádicos resursivos (catamorfismos, anamorfismos e hilomorfismos monádicos) [6] como forma de representación abstracta de la estructura de los procesos de cálculo.
2. Diseño y extensión de los operadores monádicos existentes para cubrir casos aún más complejos, como por ejemplo los que involucran combinaciones de mónadas.
3. Diseño de prototipos de herramientas automatizadas que soporten el proceso del CIP.