Логика выбора: Формальные параметры описывают, какие данные процедура ожидает получить при её вызове. Они указываются в определении самой процедуры. Передаваемые (актуальные) параметры — это конкретные значения, которые передаются в процедуру при её вызове. Все переменные, используемые в процедуре, включают как формальные параметры, так и локальные переменные, объявленные внутри процедуры. Параметры, указанные в модуле программы, скорее всего, относятся к глобальным переменным или другим сущностям, не являющимся непосредственно формальными параметрами процедуры.
Ответ: список передаваемых параметров, указанных в описании процедуры