Et sprog, ofte en maskine-processible kombination af naturlige og formelle sprog, bruges til at udtrykke kravene, design, funktionsmåde eller andre karakteristika af et system eller en komponent. For eksempel et design eller krav specifikationssprog.