CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Yaba, un asistente interativo para la derivación de programas / Matías Gertel, Bruno Mancuso.

By: Gertel, Matías.
Contributor(s): Mancuso, Bruno | Blanco, Javier Oscar, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n.], 2001Description: 92 h. : il. ; 30 cm.Subject(s): Programming techniques | Applicative programming | Program verification | Asistente interactivo | Derivación de programas | Técnicas de programación | Verificación de programas | Programación aplicativaDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001. Summary: El presente trabajo consiste en una herramienta gráfica creada para asistir la derivación y transformación de programas. Dicha herramienta está basada en la lógica ecuacional. En el trabajo se hará una pequeña revisión del marco teórico utilizado para realizar derivaciones, se presentará la demostración de completitud y corrección de un algoritmo de matching diseñado especialmente para servir de motor principal de la herramienta y finalmente se darán los detalles de especificación, diseño e implementación.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C GER 1 Available 15843
Total holds: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.

Incluye referencias bibliográficas: p. 92.

El presente trabajo consiste en una herramienta gráfica creada para asistir la derivación y transformación de programas. Dicha herramienta está basada en la lógica ecuacional. En el trabajo se hará una pequeña revisión del marco teórico utilizado para realizar derivaciones, se presentará la demostración de completitud y corrección de un algoritmo de matching diseñado especialmente para servir de motor principal de la herramienta y finalmente se darán los detalles de especificación, diseño e implementación.

La biblioteca posee 1 ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//