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

Chequeo estático extendido en Eiffel / Daniel F. Moisset ; dir. por Javier O. Blanco.

By: Moisset de Espanes, Daniel Fernando, 1980-.
Contributor(s): Blanco, Javier Oscar, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n.], 2006Description: 76 p. : il. ; 30 cm.Subject(s): Software/Program verification | Specifying and verifying and reasoning about programs | Chequeo | Verificación | Estático | Eiffel | Contratos | PunterosDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Cordoba. Facultad de Matemática, Astronomía y Física, 2006. Summary: El presente trabajo describe una técnica para detectar automáticamente errores, inconsistencias entre programa y especificación, en programas imperativos con especificaciones Design by Contract. Las técnicas presentadas se aplican estáticamente, en tiempo de compilación y ponen énfasis particular en la detección de accesos a punteros nulos. El trabajo también describe una implementación de estas técnicas para detectar errores en programas escritos en Eiffel. Aunque las técnicas no garantizan formalmente la presición del resultado, la implementación muestra que los resultados obtenidos son útiles.
Tags from this library: No tags from this library for this title.
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 MOI 1 Available 18593
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C MOI ej.2 2 Available 18594
Total holds: 0

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

Incluye referencias bibliográficas: p. 75-76.

El presente trabajo describe una técnica para detectar automáticamente errores, inconsistencias entre programa y especificación, en programas imperativos con especificaciones Design by Contract. Las técnicas presentadas se aplican estáticamente, en tiempo de compilación y ponen énfasis particular en la detección de accesos a punteros nulos. El trabajo también describe una implementación de estas técnicas para detectar errores en programas escritos en Eiffel. Aunque las técnicas no garantizan formalmente la presición del resultado, la implementación muestra que los resultados obtenidos son útiles.

La biblioteca posee 2 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



//