What does FORMALISATION stand for?

Here's a list of possible definitions for the shorthand FORMALISATION: