Program menurut traction.sf.net

Kerangka kerja desain berdasarkan kontrak (DBC) untuk Java 1.5 yang menggunakan anotasi untuk menyatakan prakondisi, pascakondisi, dll. Tidak seperti kerangka kerja desain demi kontrak lainnya, tidak memerlukan prakomilasi, m