формальный параметр Обозначение параметра в заголовке и теле процедуры.
English-Russian Computer dictionary
formal specification
формальная спецификация, формальное описание Спецификации, выраженные с помощью формально определенного языка спецификаций. Формальные спецификации могут быть использованы для автоматической проверки правильности программ и автоматической генерации тестов.