Akademik

- 1) процесс составления программы, плана действий. 2) Раздел информатики, изучающий методы и приёмы составления программ. С долей условности П. как дисциплина разделяется на: теоретическое, изучающее матем. абстракции программ (как объектов с определ. логич. и информац. структурой) и способы их построения; системное, имеющее дело с разработкой программного обеспечения ЭВМ, т. е. программных комплексов массового и длительного использования; прикладное, обслуживающее конкретные применения ЭВМ во всём их разнообразии.

Составление программы является творческой задачей, т. к. поиски способа достижения даже чётко сформулированной цели в общем случае требуют выработки или привлечения дополнит. знания. В нек-рых частных случаях возможно нахождение более систематической и формальной процедуры П. Так, если задание на П. уже сформулировано в виде алгоритма (точное описание последовательности действий, направленных на решение поставленной задачи), то П. сводится к переводу (трансляции) с языка записи алгоритма (см. Языки программирования )к языку, непосредственно воспринимаемому исполнителем (напр., ЭВМ). В нек-рых матем. моделях задача перевода решается исчерпывающе. П. включает поиски систематич. процедур перевода записей алгоритма в программы или создание программ по условиям задачи и дополнит. информации.

Методика П. уделяет особое внимание исходным спецификациям (полной и точной формулировке задачи, к-рую должна решать ЭВМ), поскольку умелое использование заложенной в спецификации информации позволяет придать П. более достоверный характер. Важным аспектом П. является забота о чёткой структуре программы, обеспечивающей проверку её правильности, а главное - выделение и изоляцию тех фрагментов программы, дальнейшая детализация к-рых требует привлечения дополнит. знаний. Ещё одним средством проверки правильности уже составленной программы является её о т л а д к а, т. е. систематич. испытание программы на ЭВМ и сравнение производимого эффекта с ожидаемым. Хотя на практике отладка является преимуществ. способом проверки программ, теоретически она не может быть исчерпывающей, т. к. установление правильности программы путём конечной системы испытаний может быть достигнуто только для узкого класса задач.

Различают следующие методы П. Синтезирующее П.- полное построение программы по заданной спецификации задачи или по общему алгоритму её решения. Структурное П. является комбинацией модульного, восходящего и нисходящего П. Модульное П. опирается на библиотеку модулей (программ с заданными описаниями входных и выходных данных) и состоит в выборе подходящих модулей и в их быстрой (иногда автоматизированной) сборке в результирующую программу. Нисходящее П. решает поставленную задачу путём её последоват. детализации с помощью отд. модулей, восходящее- в обратном порядке путём укрупнения модулей (от более детализированных к менее). Конкретизирующее П. предполагает существование универсальной программы, решающей любую задачу данного класса, и состоит в адаптации универсальной программы к особенностям решаемой задачи. В результате получается либо более простая программа, либо используется меньшее кол-во ресурсов, чем в общем случае. На практике применяются комбинации всех видов П.

Лит.: Бауэр Ф. Л., Гроз Г., Информатика, пер, с нем., 2 изд., ч. 1-2, М., 1990; Любимский Э. 3., Map-тынюк В. В., Трифонов Н. П., Программирование, М., 1980; Мейеr Б., Бодуэн К., Методы программировав ния, пер. с франц., т. 1-2, М., 1982, Математический эндиклопе.. дический словарь, М., 1988, с. 493-96, 836.