 1. 
  가.개념:개발공정 전 단계에 걸쳐 요구사항을 체계적으로 관리하고 제대로 반영되었는지를 
            검증하는 공학
  나.요구사항 명세기준:스마트,
  다..검증사항:정현이 완존일등
2.
  가.구성요소:추[(분정)명세]검-관리,후합정,
  나.과정:요구사항[기능/이벤트]-> 유즈케이스 -↓  ,분석도구:SADT,PSL/PSA/SREM/REVS/구조)
                              [데이터]     ->  로직컬     ->  아키텍처
  다.수집기법:비즈(RFI/RFP,기존문서검토,인터뷰),
                   시스템(현행시스템,방법론)
  라.분석기법: 피플(설문지(퀘스션에이어?),인터뷰,), 
                     프로세스(의사결정트리,신경망등),
                     데이터(마이닝,BI,DW분석,연관규칙)
3. 관리도구 및 결론 : 모델링 도구, 테스트 도구, 구성관리도구 - 추적성관리, 연결관리, 통제

요구추출(업무/시스템분석,인터뷰,스토리보드/프로토타이핑,벤치마킹,브레인스토밍,ISP,BPR)
요구분석(구조적분석,Use-Case기반 UML, 개념모델링)
요구정의(SRS작성기준-명확성,완전성,검증가능성,일관성,수정용이성,추적가능성,사용성)
요구검증(V&V,타당성,명세구조,공통어휘검증)
변경관리(베이스라인,의사소통채널통제,CCB)


명세기법 유형 :
1)정형
-대수처리:CSP 이벤트진행순서 상호작용,CCS 상호작용
-모형기반:Z 정형명세집합론/논리기반,VDM표현의 미론
-수학:검증프레임웤 제공
2)비정형(객체중심/SADT/정형명세)

요구사항(명시적/묵시적) 파악의 목적/활동/산출물
요구공학 정의/기법/고려사항
요구사항정의 시에 애매모호성을 제거하기 위한 규칙
요구사항관리 필요성/목적, 설계관점/관리활동
요구사항의 3가지 형태(이벤트,프로세스,데이터)