규칙 하향식 디자인 같은 원칙에 따라 지정 된 집합을 사용 하는 소프트웨어 디자인에 대 한 징계 접근 stepwise 구체화 및 데이터 흐름 분석.