컴포넌트 연산의 선행조건, 사후조건, 불변조건을 명세해 호출자와 제공자의 책임을 정하는 설계 방식은?