АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ
- АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ
использование вычислительных машин для автоматич. получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. п. меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. и. заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. п. была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. п. как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом. Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.
Математическая энциклопедия. — М.: Советская энциклопедия.
И. М. Виноградов.
1977—1985.
Смотреть что такое "АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ" в других словарях:
автоматизация программирования — Выполнение на компьютере операций, приведенных в составленном человеком алгоритме решения определенной задачи. К таким операциям относятся: составление структуры программы, точная формулировка каждой операции, получение программы и проверка ее… … Справочник технического переводчика
АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ — 4.5. АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ Раздел программирования, занимающийся разработкой методов автоматического составления программ и решение задач на ЭВМ по спецификациям, представленным на некотором формальном языке ² Источник: РМ 4 239 91:… … Словарь-справочник терминов нормативно-технической документации
Автоматизация программирования — раздел программирования (См. Программирование), разрабатывающий методы составления программ для электронных вычислительных машин (ЭВМ) с помощью самих ЭВМ. При применении А. п. программы записываются не на машинном языке (См. Машинный… … Большая советская энциклопедия
АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ — автоматич. составление программ ЭВМ по заданному алгоритму с помощью самих ЭВМ. При А. п. ЭВМ выполняет следующие осн. ф ции: составление программы, реализующей заданный алгоритм, и её описание на выбранном языке программирования; проверка… … Большой энциклопедический политехнический словарь
АВТОМАТИЗАЦИЯ — 4.2. АВТОМАТИЗАЦИЯ 1. Внедрение автоматических средств для реализации процессов СТИСО 2382/1 Источник: РМ 4 239 91: Системы автоматизации. Словарь справочник по терминам. Пособие к СНиП 3.05.07 85 Смотри также родственные термины: 6.… … Словарь-справочник терминов нормативно-технической документации
Автоматизация — Автоматизация одно из направлений научно технического прогресса, использующее саморегулирующие технические средства и математические методы с целью освобождения человека от участия в процессах получения, преобразования, передачи и… … Википедия
АВТОМАТИЗАЦИЯ ПРОЦЕССА ПРОГРАММИРОВАНИЯ — Отстранение человека от процесса написания программного кода, как полностью, так и частично. Достигается путём: 1. Разработки инструментария для формулировки и постановки задачи от человека машине (человеко машинный язык). 2. Представлением… … Словарь бизнес-терминов
АВТОМАТИЗАЦИЯ ПСИХОЛОГИЧЕСКОГО ЭКСПЕРИМЕНТА — применение автоматических устройств (и прежде всего ЭВМ) для решения задач экспериментального исследования. К числу таких задач, прежде всего, относятся: планирование (в соответствии с замыслом экспериментатора) и определение нужной стратегии… … Энциклопедический словарь по психологии и педагогике
Автоматизация процесса программирования — Автоматизация процесса программирования отстранение человека от процесса написания программного кода, как полностью, так и частично. Достигается путём: разработки инструментария для формулировки и постановки задачи от человека машине… … Википедия
АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ — применение средств вычислительной техники и оргтехники при проектировании приборов, машин, систем, сооружений и т. п. (от расчёта хар к проектируемого изделия до изготовления технич. документации и анализа результатов испытаний готового образца) … Большой энциклопедический политехнический словарь
