Определение слова «Автоматизация программирования»

Большая советская энциклопедия:

Автоматизация программирования
Раздел программирования (См. Программирование), разрабатывающий методы составления программ для электронных вычислительных машин (ЭВМ) с помощью самих ЭВМ. При применении А. п. программы записываются не на машинном языке (См. Машинный язык), а в форме, более удобной для описания алгоритмов решения того или иного класса задач. В А. п. можно выделить два основных направления работ, тесно друг с другом связанных. Первый — разработка универсальных и специализированных (т. е. предназначенных для решения каких-то определённых классов задач) языков программирования (См. Язык программирования). Второй (иногда лишь его и имеют в виду, говоря об А. п.) — разработка методов выполнения на вычислительных машинах программ, записанных на языках программирования, и решение связанных с этим проблем. Применяемые в А. п. методы и возникающие здесь задачи зависят от особенностей ЭВМ и, в свою очередь, оказывают существенное влияние на дальнейшее развитие и совершенствование их структуры.
Лит.: Современное программирование, Сб. ст.,пер. с англ., М., 1966; Жоголев Е.Б., Трифонов Н.П., Курс программирования, 2 изд., М., 1967.
В. М. Курочкин.

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

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

Смотреть другие определения →