프로그램별 traction.sf.net

주석을 사용하여 전제 조건, 사후 조건 등을 선언하는 Java 1.5에 대한 DBC(사전 계약) 프레임워크입니다. 다른 계약별 설계 프레임워크와 달리 사전 컴파일이 필요하지 않으며 빌드 시스템, IdEs 및 플랫폼에서 코드를 이식할 수 있습니다.