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