Математическая энциклопедия

АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ

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


  1. автоматизация программирования—раздел программирования См. Программированиеem разрабатывающий методы составления программ для электронных вычислительных машин ЭВМ с помощью самих ЭВМ. При применении А....Большая Советская энциклопедия II
  2. автоматизация программирования—автоматич. составление программ ЭВМ по заданному алгоритму с помощью самих ЭВМ. При А. п. ЭВМ выполняет следующие осн. фции составление программы реализующей заданный алг...Большой энциклопедический политехнический словарь
  3. автоматизация программирования—бадарламалауды автоматтандыру...Орысша-қазақша «Электроника, радиотехника және байланыс» терминологиялық сөздік
  4. автоматизация программирования—эл.р. воен. бадарламалауды автоматтандыру...Орысша-қазақша салааралық терминологиялық сөздік
  5. автоматизация программирования—automatic programming...Русско-английский политехнический словарь
  6. автоматизация программирования—automatic programming...Русско-английский технический словарь
  7. автоматизация программирования—автоматизаця програмування...Русско-украинский политехнический словарь
  8. автоматизация программирования—automatizace program...Русско-чешский словарь
  9. автоматизация программирования—Автоматизация программирования выполнение на ЭВМ операций входящих в составленный человеком алгоритм решения определенной задачи. К таким операциям относятся составление...Терминологический словарь автоматизации строительства и производственных процессов