[용어정리] 명세언어, 명세기술언어

명세 언어(Specification language), 명세 기술 언어는 전산학에 쓰이는 형식 언어이다. 시스템을 추가하고 직접 실행할 수 있는 형식 언어인 프로그래밍 언어와 달리, 명세 언어는 시스템 분석, 요구 분석, 시스템 디자인을 하는 동안에 쓰인다.

명세 언어는 일반적으로 직접 실행되지 않는다. 이 언어는 프로그래밍 언어보다 훨씬 더 높은 수준에서 시스템을 기술한다. 실제로 요구 명세 내용이 필요없는 세세한 내용으로 어수선하다면 오류라고 인식할 수 있다. 그 까닭은 이러한 상세 내용이 "어떻게"가 아니라, "무엇을"을 기술하기 때문이다.

①프로그램 작성에서 특별한 처리 기능을 수행하기 위해 필요한 레코드와 프로그램의 정확한 정의. ②장치 개념에서 하드웨어의 기술적 또는 공학적 기술.