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

요구사항 명세 기법 중 자연어 기반 비정형 명세에 대한 설명으로 옳은 것만을 모두 고르면?

ㄱ. 표현이 모호할 수 있고, 해석이 다를 수 있다.

ㄴ. 수학적 증명 기술을 이용하여 완전성을 검증할 수 있다.

ㄷ. 자연어를 기반으로 작성하기 때문에 쉽게 작성할 수 있다.