Programas por traction.sf.net

Uma estrutura de design por contrato (DBC) para Java 1.5 que usa anotações para declarar pré-condições, pós-condições, etc. Ao contrário de outras estruturas de design por contrato, não requer pré-compilação, tornando o códig