Ett språk, ofta en maskin-processible kombination av naturliga och formella språk, används för att uttrycka kraven, design, beteende eller andra egenskaper hos ett system eller komponent. Till exempel en design språk, eller krav specifikation.