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

Tecnología de la
Programación
Descriptores
ITIS
- Analisis de algoritmos.
- Tecnicas de verificacion y pruebas de programas.
Profesores
Cuatrimestral, Troncal, 7.5 Créditos (4.5T +
3P)
Pedro Cabalar Fernández cabalar@dc.fi.udc.es cabalar@fi.pri
Manuel Cabarcos Traseira cabarcos@dc.fi.udc.es cabarcos@fi.pri
Objetivos docentes
• Análisis de algoritmos.
• Técnicas de verificación y pruebas de programas.
Bibliografía
Recomendada
Gries, D. The Science of Programming. Springer.
Balcázar, J. L. Programación metódica. McGraw-Hill.
Arnow, D.; Weiss, G. Introducción a la programación con Java. Ed. Addison-Wesley.
Naughton, P. Manual de Java. Ed. Osborne McGraw-Hill.
Complementaria
Peña Marí, R. Diseño de programas. Formalismo y abstracción. Prentice-Hall.
Arnold, K.; Gosling, J.; Holmes, D. El lenguaje de programación Java. Ed. Addison-
Wesley.
Contenido
1. Introducción.
o Proposiciones.
Evaluación de proposiciones.
Proposiciones como conjuntos de estados.
Leyes de equivalencia.
o Predicados.
Extensión del rango de estado.
Cuantificadores.
82