도분명확 + 자객정 + 워비인공 = 전체

4단계

도출 → 분석 → 명세 → 확인  ·  산출물 = 목록 → DFD/UML → SRS → 승인본

도출 6

인터뷰·워크숍·브레인스토밍·프로토타이핑·유스케이스·설문조사

분석 자객정

자료흐름(DFD/DD) · 객체지향(UML) · 정형(Z/VDM)

명세 6원리

정확성(명확·완전·검증) + 관리성(일관·수정·추적)  ≠ 효율성(품질 특성)

검토 워비인공

워크스루=비공식(작성자 진행) · 인스펙션=공식(진행자·5단계·사전준비 의무)