Bibliografía de Metodología de la Programación

BIBLIOGRAFIA BASICA:

• R.Peña: Diseño de programas. Formalismo y abstracción. 3ª Edición. Prentice-Hall 2005. ISBN: 84-205-4191-5.
• J.L. Balcázar: Programación metódica. McGraw-Hill Iberoamericana. Madrid 1993
• D. Gries; The Science of Programming. Springer Verlag.
• G.Brassard,P.Bratley: Algorítmica. Concepción y análisis. Ed. Masson. Barcelona. 1990. Original: Algorithmique. Conception et analyse. Ed. Masson. Paris. 1987
• A. Díaz de Ilarraza, F. Lucio Carrasco: Verificación de programas y metodología de la programación. Servicio Editorial de la Universidad del País Vasco, 1990.

BIBLIOGRAFIA SOBRE Ada95:

• Barnes, J.: "Programming in Ada95", Ed. Addison-Wesley, 1996.
• Feldman, Koffman.: "Ada95. Problem Solving and Program Desing", Ed. Addison-Wesley.
• Skansholm, J.Ada from the Beginning. (2nd ed.) Addison Wesley, 1994.
• Manual de Referencia del Lenguaje Ada95
  Disponible, por ejemplo, en Ada 95 RM
  También en el directorio de merlin: /users2/EDA/salidas/rm95/index.html
  Se puede abrir con el navegador y File -> Open File ...
  
• Manual de Referencia del Compilador gnat
  Disponible junto con el compilador.
• Manual del usuario del compilador gnat
  Disponible junto con el compilador
• Lovelace tutorial
• Ada 95: The Craft of Object-Oriented Programming
• The Big Online Book of Linux Ada Programming de Ken O. Burtch. (libro muy orientado a Linux y C).
• Ada-95: A guide for C and C++ programmers, de Simon Johnston.
• Ada Distilled (pdf)
• Object Oriented Programming in Ada95 (pdf)

ftricas@posta.unizar.es

Alumnos: se puede utilizar el correo de merlin.unizar.es (ftricas)