[7급 국가직 소프트웨어공학 2011년 8번]

1. ①요구 분석과 명세화에 드는 시간을 많이 절약할 수 있다.
2. ②명세의 오류와 모호성을 쉽게 찾을 수 있다.
3. ③Z나 VDM은 대수학적(algebraic) 접근 방법에 바탕을 두고 만든 정형 명세 언어이다.
4. ④수학적 기반의 명세로 되어 있어 누구라도 쉽게 사용할 수 있다.

선지를 골라 바로 채점해 보세요.정답 보기

출처: 인사혁신처 공개 기출(공공데이터포털, 이용허락 제한 없음)