| 정형 명세 | 비정형 명세 | |
| 수학 , 논리학 | 기반 | 자연어, 그림 중심 |
| 명세 오류 및 모호성 쉽게 파악 | 장점 | 사용자 - 개발자 의사전달 용이 |
| 어려움 시간 소모 많음 |
단점 | 모호하다 완전한 검증 곤란 |
<정형 명세 언어 종류>
| 모델 기반 언어 | 대수 처리 기반 언어 |
| 수학적 표현 (집합, 수열) 이용 | 연산과 연산관계 이용 |
| - 유한상태머신 - Z - VDM(vienna development method) |
- CSP - CCS - LOTOS - OBJ - Larch |
'전산직 준비 > 개념 정리' 카테고리의 다른 글
| [소프트웨어공학] 원형 큐 (0) | 2021.01.15 |
|---|---|
| [정보보호론] 선형 귀환 시프트 레지스터 (0) | 2021.01.15 |
| [정보보호론] 암호 해독 종류 (0) | 2021.01.12 |
| [자료구조론] C 언어 포인터 기호 (*과 &) (0) | 2021.01.09 |
| [소프트웨어공학] 상속과 합성 (0) | 2021.01.07 |
