Bahasa, sering mesin-processible kombinasi bahasa alami dan formal, yang digunakan untuk mengekspresikan persyaratan, desain, perilaku, atau karakteristik lain dari sebuah sistem, atau komponen. Misalnya, desain bahasa atau persyaratan Spesifikasi bahasa.