Парадигмы программирования. 
Программная инженерия. 
Парадигмы, технологии и case-средства

МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ. БАЗОВЫЕ ПОНЯТИЯ

Одна из ключевых проблем современного программирования — повторное использование модулей и компонентов (КПИ). Ими могли быть программы, подпрограммы, алгоритмы, спецификации и т. п., пригодные для использования при разработке новых более сложных ПС. В них материализуется многолетний опыт компьютеризации разных знаний в деятельности человека, который может их применять непосредственно путем настройки и адаптации КПИ к новым условиям среды обработки. Вначале появились модули, которых использовались долгое время в практике программирования, затем их стали называть КПИ. Использование КПИ в программировании дало возможность усовершенствовать метод проектирования снизу-вверх сложных программ из простых программных элементов, находящихся в библиотеках. Программирование прошло длинный путь своего развития — от элементов библиотек стандартных машинных подпрограмм общего назначения на конкретной ЭВМ до библиотек программ и КПИ нового поколения в современных языках С, C++, Basic, JAVA и др. Каждый из этих путей развития и совершенствования готовых КПИ определялся возможностями вычислительной техники, операционных сред и достижений в области теории и пракгики программирования сложных программ, комплексов и систем.

В этот период широко использовались большие ЭВМ (ЕС ЭВМ, БЭСМ-6 и др.), снабженные компиляторами с подмножества ЯП: Ассемблер, Алгол, ПЛ-1, Фортран и Кобол. Разнообразие ЯП и большой объем памяти ЕС явились базисом реализации идеи сборки программ на машинах ЕС ЭВМ. Исследование проблем сборки модулей проводилось по трем направлениям.

• 1. Анализ средств создания крупных программных комплексов с монолитной и динамической структурой, а также особенностей объединения программ, отличающихся представлением типов и структур данных ЯП, для их формализованного описания и определения стандартизованного задания модулей сборки, как эго принято в промышленности. Исследовался и оформился базис теории абстрактных типов данных и подходов к формальному их преобразованию. На основе этой теории и теории алгоритмических алгебр Глушкова были исследованы все типы и структуры данных подмножества ЯП ЕС и построены алгебраические системы формального преобразования типов и структур данных ЯП, позволяющие установить взаимно однозначное соответствие данных каждой пары ЯП указанного подмножества. В результате были разработаны 65 функций преобразования одного типа данных к другому в подмножестве ЯП и определен класс интерфейсных модулей, как механизмов связывания разноязычных модулей.
• 2. Сформированное в практике программирования понятие — повторная подпрограмма библиотеки машинных программ (В.Б.Курочкин, Москва) было изменено до уровня исходного представления на любом из ЯП в специальном хранилище — Банке модулей с функциональными разделами (вычислительная математика, экономика, АСУ и др.). Решение проблемы сборки разных модулей в исходном представлении на ЯП из Банка модулей основывалось на разработке стандарта описания исходных модулей, который кроме описания тела модуля, включал описание его паспорта — информационного раздела, содержащего задание типов данных входных и выходных параметров и операторов вызова других модулей из Банка модулей. Определены новые принципы и механизмы стыковки исходных разнородных модулей, основанные на интерфейсных модулях.
• 3. Разработан метод сборки прикладных модулей и программ, реализация которого позволила сформировать не только новый вид программирования — сборка модулей, интерфейсов и схем сборки модулей. Он реализует функции автоматизации предметной области в рамках системы АПРОП [6−8, 16, 61 — 69].