Introducción a JML (135 Kb)
Documento de introducción a las herramientas de especificación pre-post para Java, en concreto JML (Java Modeling Language).
Contiene un resumen introductorio de lo más elemental que debe conocerse sobre JML con algunos ejercicios interesantes resueltos y no resueltos.

Técnicas de diseño de algoritmos (60 Kb)
Comparación de las 4 principales métodos de atacar un problema: algoritmos voraces, divide y vencerás, backtracking y programación dinámica.

Enviados por Antonio Menchén Peñuela, profesor de la Universidad de Sevilla.