Specifikace jazyka se speciální konstrukce a, někdy, ověření protokoly používané k vývoji, analýza a dokumentace požadavky na hardware nebo software.