Описание входных и выходных параметров, условия вызова процедуры, указание необходимых переменных - характер этих требований ...