Bir dil, doğal ve resmi dili, gereksinimleri, tasarım, davranış veya bir sistem veya bileşen diğer özelliklerini ifade etmek için kullanılan genellikle makine-processible birleşimi. Örneğin, bir tasarım dili veya gereksinimleri belirtimi dil .