Uma língua, muitas vezes uma combinação máquina-processável de linguagem natural e formal, usado para expressar os requisitos, design, comportamento ou outras características de um sistema ou componente. , Por exemplo, uma linguagem de design ou linguagem de especificação de requisitos.