요구 사항, 디자인, 행동, 또는 시스템 또는 부품의 다른 특성을 표현 하는 데 사용 하는 언어, 자연 적이 고 형식적인 언어의 자주 기계 processible 조합. 예를 들어 디자인 언어 또는 요구 사양 언어.