Lenguaje Eiffel
- Robert Rist and Robert Terwilliger.
Object-Oriented Programming in Eiffel.
Prentice Hall, 1995
Introducción a la asignatura
- R. S. Pressman
Ingeniería del software
Mc Graw Hill, 1993
- I. Sommerville
Ingeniería de software
Addison Wesley Iberoamericana, 1989
Programación Modular
- M. Page-Jones
The Practical Guide to Software System Design
Prentice Hall, 1988
- Molina Marco, A. Letelier Torres, P. Sánchez Palma, P.
Sánchez Díaz, J,
Metodología y tecnología de la programación
Univ. Politécnica de Valencia. Servicio de publicaciones, 1997
Prueba de programas
- G.J.Myers
El arte de probar software
El Ateneo, 1979
Programación orientada a objetos
- Bertrand Meyer.
Object-Oriented Software Construction 2ª ed.
Prentice Hall, 1997
Verficación de programas
- N. Wirth
Introducción a la programación sistemática
El Ateneo, 1982