The act of making formal (as by stating formal rules governing classes of expressions).

synoniem: formalisation.

Nederlands: formalisering
Pools: sformalizowanie