Programma's van traction.sf.net

Een design-by-contract (DBC) framework voor Java 1.5 dat annotaties gebruikt om randvoorwaarden, postvoorwaarden, etc. te declareren. In tegenstelling tot andere ontwerp-per-contract kaders, vereist geen precompilatie, waardo