โปรแกรมตาม traction.sf.net

กรอบงานออกแบบตามสัญญา (DBC) สําหรับ Java 1.5 ซึ่งใช้คําอธิบายประกอบในการประกาศเงื่อนไขเบื้องต้น ซึ่งแตกต่างจากกรอบงานออกแบบตามสัญญาอื่น ๆ ไม่จําเป็นต้องมีการคอมไพล์ล่วงหน้าทําให้รหัสพกพาผ่านระบบสร้าง IDEs และแพลตฟอร์ม