표현 방식 두 갈래

미슐랭 레시피 vs 가정식 레시피

구분	정형 명세 (Formal)	비정형 명세 (Informal)
표기법	수학·논리식 (Z, VDM, OCL)	자연어·다이어그램
모호성	거의 없음	발생 가능
검증	자동·수학적 검증 가능	사람의 검토에 의존
학습 곡선	가파름(전문성 필요)	완만함
적용 분야	항공·국방·금융 거래 핵심	일반 SI·웹·앱

💡 합격 공식 — 한 줄

'수학식 들어가면 정형, 자연어·다이어그램이면 비정형.' 일반 프로젝트 99%는 비정형으로 충분. 끝!