Автоматизация Программирования
использование вычислительных машин для автоматич. Получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. П. Меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. И. Заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. П. Была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. П. Как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом.
Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.
Дополнительный поиск Автоматизация Программирования
На нашем сайте Вы найдете значение "Автоматизация Программирования" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Автоматизация Программирования, различные варианты толкований, скрытый смысл.
Первая буква "А". Общая длина 30 символа