Język, często maszyny processible połączenie języka naturalnego i formalne, używane do wyrażenia wymagania, projektowanie, zachowanie lub inne cechy systemu lub części. Na przykład język projektowania lub wymagania specyfikacji języka.