Asignatura troncal del primer ciclo de los estudios de INGENIERO EN INFORMATICA
Se puede acceder a más información en la Página de Metodología de la Programación en el Anillo Digital Docente (para acceder es necesario el nombre de usuario y la clave del correo electrónico de la universidad).
- Horario de Tutorías
- Programa (Información de las páginas de la Universidad)
- Bibliografía y otras fuentes de información
- Transparencias y otros materiales
- Prácticas de laboratorio
Lecturas recomendadas
- Sorting Algorithms
- The Exterminators
- Correctness by Construction: A Manifesto for High-Integrity Software
- Case Study: Space Station Robot Embeds Ada (pdf)
- Correctness by Construction: Better can also Be Cheaper (pdf)
- Logic Versus Magic in Critical Systems (pdf)
- Is Proof More Cost Effective Than Testing? (Resumen)
- An Investigation of the Therac-25 Accidents, Nancy Leveson, University of Washington Clark S. Turner, University of California, Irvine. IEEE Computer, Vol. 25, No. 7, pp. 18-41.
- An Empirical Study of the Robustness of Windows NT Applications Using Random Testing Justin E. Forrester Barton P. Miller. This paper appears in the 4th USENIX Windows Systems Symposium, Seattle, August 2000.
- Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services Barton P. Miller, David Koski, Cjin Pheow Lee, Vivekananda
- An Empirical Study of the Robustness of MacOS Applications Using Random Testing(pdf) B.P. Miller, G. Cooksey and F. Moore. First International Workshop on Random Testing, Portland, Maine, July 2006. Maganty, Ravi Murthy, Ajitkumar Natarajan, Jeff Steidl.
- Collection of Software Bugs Prof. Thomas Huckle Institut für Informatik TU München
Professor C.A.R. Hoare, The 1980 Turing award lecture. "The Emperor's Old Clothes.". CACM Vol. 24. No.2 February 1981. pp 75-83.
"There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies."Edsger Dijkstra: Sobre la crueldad de enseñar ciencias de la computación.
Actualizado el 7 de septiembre de 2006
Alumnos: se puede utilizar el correo de merlin.cps.unizar.es (ftricas)