開發者 traction.sf.net

Java 1.5 的按合同設計 （DBC） 框架，它使用註釋聲明先決條件、後置條件等。與其他按合同設計框架不同，無需預編譯，使代碼跨生成系統、I代和平臺可移植