반응형

*정형 분석(Formal Analysis)

- 구문과 의미를 갖는 정형화된 언어를 이용하여 요구사항을 수학적 기호로 표현 한 후 이를 분석하는 과정을 의미한다.

- 정형 분석은 요구사항 분석의 마지막 단계에 이루어 진다.

 

*정형 명세(Formal Specification)

- 정형화된 언어를 이용하여 수학적 기호로 기술하는 것.

반응형

+ Recent posts