формальные спецификации

Дата последнего изменения:2016.07.31
Сообщить об ошибке

	формальные спецификации Формальное описание спецификации, выраженные с помощью формально определённого языка спецификаций. Формальные спецификации могут быть использованы для автоматической проверки правильности программ и автоматической генерации тестов. [Борковский А. Б. Англо-русский словарь по программированию и информатике. 1990]
EN
FR