Език, често машина processible комбинация от естествени и формален език, използван за изразяване на изискванията, дизайн, поведението или други характеристики на система или компонент. Например, дизайн език или език за спецификация на изискванията.