OO Software Construction: 계약에 의한 설계 (Meyer의 DbC)
Bertrand Meyer의 Object-Oriented Software Construction을 따라 객체지향의 원리와 계약에 의한 설계(Design by Contract)를 정리합니다. Precondition·Postcondition·Class Invariant, LSP, 그리고 방어적 프로그래밍과의 차이를 Python 예제로 다룹니다.