Een taal, vaak een machine-verwerkbaar combinatie van natuurlijke en formele taal, die wordt gebruikt om uit te drukken de eisen, ontwerp, gedrag of andere kenmerken van een systeem of component. Bijvoorbeeld een ontwerp taal of eisen specificatie taal.