다음 ( ) 안에 들어갈 내용으로 옳은 것은? 컴포넌트 설계 시 ‘( )에 의한 설계’를 따를 경우, 해당 명세에서는 (1) 컴포넌트의 오퍼레이션 사용 전에 참이 되어야 할 선행조건 (2) 사용 후 만족하여야 할 결과 조건 (3) 오퍼레이션이 실행되는 동안 항상 만족하여야 할 불변 조건 등이 포함되어야 한다.