정형 명세 기법

• 사용자의 요구를 표현할 때 수학적인 원리와 표기법으로 서술하는 기법
• 정형 명세 언어인 z-스키마, Petri Nets, 상태 차트 활용
• 표현이 간결, 명확성 및 검증이 용이
• 기법의 이해가 어려움

비정형 명세 기법

• 비정형 명세 기법은 사용자의 요구를 표현할때 자연어를 기반으로 서술하는 기법
• 사용자와 개발자의 이해가 용이
• 명확성 및 검증에 문제