Programas por traction.sf.net

Un marco de diseño por contrato (DBC) para Java 1.5 que utiliza anotaciones para declarar condiciones previas, condiciones posteriores, etc. A diferencia de otros marcos de diseño por contrato, no requiere precompilación, lo