Atur cara mengikut traction.sf.net

Rangka kerja dengan kontrak reka bentuk (DBC) untuk Java 1.5 yang menggunakan anotasi untuk mengisytiharkan prasangka, postkontraktor, dll. Tidak seperti rangka kerja reka bentuk mengikut kontrak yang lain, tidak memerlukan p