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

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



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

Posted by croute

댓글을 달아 주세요