소프트웨어 설계
핵심017
요구사항 명세 기법 비정형 명세 기법
출제 빈도
3회
원본 8쪽
| 정형 명세 기법 |
|---|
| 수학적 원리 기반, 모델 기반 |
| 수학적 기호, 정형화된 표기법 |
| •요구사항을 정확하고 간결하게 표현할 수 있음•요구사항에 대한 결과가 작성자에 관계없이 일관성이 있으므로 완전성 검증이 가능함•표기법이 어려워 사용자가 이해하기 어려움 |
| VDM, Z, Petri-net, CSP 등 |
원본 추출 이미지(검수용·회차 숫자 원문 포함)
구조화된 본문이 원본과 맞게 들어갔는지 확인하기 위한 이미지입니다. 이미지 안에는 원본 회차 숫자와 다음 절 일부가 포함될 수 있습니다.
