Traction DBC

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표

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

버전 기록

  • 버전 N/A 에 게시 2011-08-12
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2011-08-12

프로그램 세부 정보