формальная спецификация formal specification Спецификации, выраженные с помощью формально определенного языка спецификаций. Формальные спецификации могут быть использованы для автоматической проверки правильности программ и автоматической генерации тестов.
формальное описание formal specification Спецификации, выраженные с помощью формально определенного языка спецификаций. Формальные спецификации могут быть использованы для автоматической проверки правильности программ и автоматической генерации тестов.
формальный параметр formal parameter Обозначение параметра в заголовке и теле процедуры.; dummy argument