Programmi di traction.sf.net

Framework DBC (Design-by-Contract) per Java 1.5 che utilizza annotazioni per dichiarare precondizioni, postcondizioni e così via. A differenza di altri framework design-by-contract, non richiede alcuna precompilazione, renden