Une langue, souvent une combinaison de machine-être traitée 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 ou un langage de spécification des exigences.