Une langue, souvent une combinaison de machine-produite du langage naturel et formel, utilisé pour exprimer les exigences, conception, comportement ou autres caractéristiques d'un système ou un composant. Par exemple, un langage de conception ou un langage de spécification des exigences.