정형 명세 기법
: 수학적 원리 기반, 모델 기반
: 수학적 기호, 정형화된 표기법
: 요구사항을 정확하고 간결하게 표기할 수 있음
: 요구사항에 대한 결과가 작성자에 관계없이 일관성이 있으므로 완전성 검증이 가능함
: 표기법이 어려워 사용자가 이해하기 어려움
예) VDM, Z, Petri-net, CSP 등
비정형 명세 기법
: 상태/기능/객체 중심
: 일반 명사, 동사 등의 자연어를 기반으로 서술 또는 다이어그램으로 작성
: 자연어의 사용으로 인해 요구사항에 대한 결과가 작성자에 따라 다를 수 있어 일관성이 떨어지고, 해석이 달라질 수 있음
: 내용의 이해가 쉬어 의사소통이 용이함
예) FSM, Decision Table, ER 모델링, State Chart(SADT) 등