Спецификация языка с специальные конструкции и, иногда, проверка протоколов, используемых для разработки, анализа и документировать требования аппаратного или программного обеспечения.