Subtyping

[프로그래밍] 계약에 의한 설계와 서브타이핑

2023. 6. 23.

계약에 의한 설계(Design by Contract, DbC)(계약 프로그래밍, 계약에 의한 프로그래밍)는 컴포넌트 간 계약(contract)을 기반으로 하는 소프트웨어 설계 기법이다. 계약이란 소프트웨어를 구성하는 컴포넌트 중 클라이언트 컴포넌트와 서버 컴포넌트 간의 상호작용에 따른 오퍼레이션(동작)에 관한 명세(규약)