▣ 요구사항명세_정형, 비정형, Z명세, VDM, Z, Petri-net, FSM, Decison Table, ER모델링, 관계형, 상태위주 표기법 - 요구사항 명세는 분석된 요구사항을 바탕으로 모델을 작성하고 문서화하는 것을 의미 - 기능 요구사항을 빠짐없이 기술 - 비기능 요구사항을 필요한 것만 기술 - 구체적인 명세를 위해 소단위 명세서(Mini-Spec)가 사용될 수 있음 구분 정형 명세 기법 비정형 명세 기법 기법 수학적 원리 기반, 모델 기반 상태/기능/객체 중심 작성기법 수학적 기호, 정형화된 표기법 일반 명사, 동사 등의 자연어를 기반으로 서술 또는 다이어그램으로 작성 특징 - 요구사항을 정확하고 간결하게 표현 가능 - 요구사항에 대한 결과가 작성자에 관계없이 일관성이 있으므로 완전성 검증..
