GUÍA DOCENTE ASIGNATURAS 2003-2004 - Facultade de ...

Tecnología de la Programación
Descriptores
- Análisis de algoritmos.
- Técnicas de verificación y pruebas de programas.
Profesores
ITIG
Cuatrimestral, Troncal, 7.5 Créditos (4.5T + 3P)
Manuel Cabarcos Traseira cabarcos@dc.fi.udc.es
Pedro Cabalar Fernández cabalar@dc.fi.udc.es
Objetivos docentes
Especificación de programas, verificación formal de programas.
Bibliografía
Recomendada
D. Gries,The Science of Programming, Springer.
J.L. Balcázar, Programación metódica, McGraw-Hill.
Arnold, K.El lenguaje de programación Java. Ed. Addison-Wesley.
Naughton, P. Manual de Java. Ed. Osborne McGraw-Hill.
Complementaria
D. Arnow, G. Weiss. Introducción a la programación con Java. Ed. Addison-Wesley.
R. Peña Marí, Diseño de programas. Formalismo y abstracción, Prentice-Hall.
K. Arnold, J. Gosling, D. Holmes. El lenguaje de programación Java. Ed. Addison-
Wesley.
Contenido
1. Introducción.
1.1. Proposiciones.
1.2. Predicados.
1.3.Sustitución textual.
1.4. Notación para arrays.
2. Uso de aserciones para documentar programas.
2.1. Especificación de programas.
2.2. Representación de valores iniciales y finales de variables.
2.3. Esquemas de prueba.
41