요구사항 개발 프로세스

1. 도출

2. 분석

3. 명세

구분 정형 명세기법 비정형 명세기법
기법 수학적 원리 기반, 모델 기반 상태/기능/객체 중심
작성 방법 수학적 기호, 정형화된 표기법 자연어 기반으로 서술 또는 다이어그램으로 작성
특징 요구사항 간결, 일관성, 완전검증, 이해 어려움 일관성 떨어짐, 의사소통 용이
종류 Z 명세, VDM FSM, ER ahepffld, DECISION TABLE

4. 확인