Špecifikácia jazyka s špeciálne konštrukcie a, niekedy, overovacie protokoly, používané rozvíjať, analyzovať a dokumentovať hardvérové alebo softvérové požiadavky.