Une langue, souvent une combinaison lavable à la machine du langage naturel et formel, utilisé pour spécifier des exigences, conception, comportement ou autres caractéristiques d'un système ou un composant du système.