Bir dil gereksinimleri, tasarım, davranış ya da sistem veya sistem bileşenlerinin diğer özelliklerini belirtmek için kullanılan doğal ve resmi dil, sık sık makine processable bir arada.