Системное Программирование

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

В связи с расширением и усложнением применения ЭВМ в методах С. П. Все больше начинает нуждаться разработка прикладного математич. Обеспечения - пакетов прикладных программ, автоматизированных систем управления и банков данных. С. П. В своем развитии встречается с рядом трудностей. Главными источниками их являются большой объем программных систем (до 1 млн. Машинных команд), сугубо нелинейная зависимость сложности от объема, слабая устойчивость системных программ к ошибкам программиста и отказам оборудования. В методах С. П. Различается программирование "в малом", т. Е. Методы разработки системной программы одним человеком, и "в большом", т. Е. Методы объединения индивидуального программного продукта в большую систему.

В С. П. "в малом" на первый план выступают мате-матич. Методы программирования. Описание и свойства математич. Модели программируемой задачи, методы систематич. Преобразования исходной формулировки задачи в программный текст, методы доказательства пранильности (верификации) программы. С. П. "в большом" сближается с теорией больших систем, общей системотехникой, методами организации коллективной работы и даже с вопросами эволюции динамич. Систем. Лит.:[1] Брукс Ф., Как проектируются и создаются программные комплексы. Мифический человеко-месяц, пер. С англ., М., 1979. [2] Создание качественного программного обеспечения. Тр. Рабочей конференции Междунар. Федерации по обработке информации, пер. С англ., т. 1-2, Новосиб., 1978. А.

П. Ершов.