정형명세언어종류 (1) 썸네일형 리스트형 [소프트웨어공학] 요구사항 명세 기법 정형 명세 비정형 명세 수학 , 논리학 기반 자연어, 그림 중심 명세 오류 및 모호성 쉽게 파악 장점 사용자 - 개발자 의사전달 용이 어려움 시간 소모 많음 단점 모호하다 완전한 검증 곤란 모델 기반 언어 대수 처리 기반 언어 수학적 표현 (집합, 수열) 이용 연산과 연산관계 이용 - 유한상태머신 - Z - VDM(vienna development method) - CSP - CCS - LOTOS - OBJ - Larch 이전 1 다음