1344.17 계약에 의한 설계와 사전 조건·사후 조건 검증 (Design by Contract and Pre-Condition·Post-Condition Verification)