프로그램별 dbc-utilities.sf.net

Desing by Contract Utilities 무료

이 프로젝트는 클래스 고정 이변성 사전 및 사후 조건을 확인하는 데 사용할 수있는 매우 작은 유틸리티 클래스 세트를 제공합니다.