TTA정보통신용어사전

검색 바로가기
본문 바로가기

TTA표준 TTA 정보통신단체표준 내 정의된 용어입니다. 인쇄 수정 문의 관련뉴스

네이버 뉴스

다음 뉴스

형식 명세서, formal specification
출처 : 단체표준 TTAS.KO-11.0019 소프트웨어 프로세스와 품질 - 용어: (1) 설정된 기준에 잘 부합되게 쓰여진 명세(서). (2) 정확성 검증에 있어서 시스템이나 시스템 요소의 외부적 동작을 형식언어로 기술한 것.

한국정보통신기술협회

(우)13591 경기도 성남시 분당구 분당로 47 용어사전 문의 : terms@tta.or.kr
Copyright ⓒ TTA All Rights Reserved.

이동