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

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

2) Процесс составления системных программ в этом качестве все больше становится синонимом профессионального программирования, т. е. составления программ (иначе называемых программным продуктом), отчуждаемых от их автора и применяемых впоследствии многократно.

В начальный период применения ЭВМ, главным образом для математич. расчетов, основной сферой приложения С. п. была разработка базового математич. обеспечения: операционных систем, систем программирования, библиотек стандартных подпрограмм. В связи с расширением и усложнением применения ЭВМ в методах С. п. все больше начинает нуждаться разработка прикладного математич. обеспечения пакетов прикладных программ, автоматизированных систем управления и банков данных.

С. п. в своем развитии встречается с рядом трудностей. Главными источниками их являются большой объем программных систем (до 1 млн. машинных команд), сугубо нелинейная зависимость сложности от объема, слабая устойчивость системных программ к ошибкам программиста и отказам оборудования.

В методах С. п. различается программирование "в малом", т. е. методы разработки системной программы одним человеком, и "в большом", т. е. методы объединения индивидуального программного продукта в большую систему.

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

Лит.:[1] Брукс Ф., Как проектируются и создаются программные комплексы. Мифический человеко-месяц, пер. с англ., М., 1979; [2] Создание качественного программного обеспечения. Тр. Рабочей конференции Междунар. федерации по обработке информации, пер. с англ., т. 1-2, Новосиб., 1978.

А. П. Ершов.

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

И. М. Виноградов

1977—1985