Un linguaggio, spesso una combinazione lavorabile a macchina del linguaggio formale e naturale, utilizzato per specificare i requisiti, progettazione, comportamento o altre caratteristiche di un sistema o un componente del sistema.