formalization

nouns

the act of making formal (as by stating formal rules governing classes of expressions)
is derived from
is derived from