O limbă, adesea o combinaţie masina-processible limbii naturale şi formal, folosite pentru a exprima cerinţele, proiectare, comportamentul sau alte caracteristici ale unui sistem sau componentă. De exemplu, un limbaj de design sau limba de caietul de sarcini cerinţele.