Wiktionary
formal parameter
n. (context programming English) An abstract representation, typically including a name and a type, of a parameter expected to be passed to a method or function.