Datos Identificativos					2013/14
Asignatura	Tecnoloxía da Programación			Código	614311202
Titulación	Enxeñerio Técnico en Informática de Sistemas
Descriptores	Ciclo	Período	Curso	Tipo	Créditos
	1º e 2º Ciclo	1º cuadrimestre	Segundo	Troncal	6
Competencias do título Resultados de aprendizaxe Contidos Planificación Metodoloxías Atención personalizada Avaliación Fontes de información Recomendacións

Bibliografía básica	Peña Marí, R. (2005). Diseño de programas: Formalismo y abstracción. Madrid. Prentice-Hall Arnold, K.; Gosling, J.; Holmes, D. (2001). El lenguaje de programación Java. Madrid. Addison-Wesley Arnow, D.; Weiss, G. (2000). Introducción a la programación en Java. Un enfoque orientado a objetos. Madrid. Addison-Wesley Balcazar, J.L. (1993). Programación metódica. McGraw-Hill (2007). The Java Modeling Language (JML). http://www.cs.iastate.edu/leavens/JML Gries, D. (1981). The Science of Programming. Springer-Verlag
Bibliografía complementaria	P. Naughton (1996). Manual de Java. Osborne McGraw-Hill Backhouse, R.C. (1986). Program construction and verification. Prentice-Hall Kaldewaij, A. (1990). Programming: The derivation of algorithms. Prentice-Hall Apt, K.R., Olderog, E. (1997). Verification of sequential and concurrent programs. Springer-Verlag