Et språk, ofte en maskin-processible kombinasjon av naturlige og formelle språk, å uttrykke kravene, design, atferd, eller andre karakteristikker av et system eller komponent. For eksempel en designspråk eller krav spesifikasjonsspråk.