Programas por traction.sf.net

Um quadro de conceção por contrato (DBC) para Java 1.5 que utiliza anotações para declarar pré-condições, pós-condições, etc. Ao contrário de outros quadros de design por contrato, não requer pré-compensação, tornando o códig