Пора тряхнуть стариной ... (особенно "Предпосылки и цели ...")
https://computer-museum.ru/articles/histsoft/1699/?sphrase_id=9145529. Международная научно-техническая конференция «Программное обеспечение ЭВМ», ИНТЕРСОФТ-87. Калинин, ноябрь 1987 г.
Пленарные доклады:
Липаев В.В. Методы и средства обеспечения переносимости программ. Для обеспечения переносимости предложены уровни:
алгоритмов функциональных программ;
спецификации требований на все элементы ПО;
описания текстов программ на языке высокого уровня, Ассемблере и в коде.
Тихомиров В.П., Символ В.К. Предпосылки и цели создания семейства ОС Демос.
Для Unix подобных ОС (Демос) выполнено:
создание структурного и содержательного ядра и окружения, входящего в семейство;
разработка требований к составу функций ядра новых ОС;
задание статической и динамической спецификации ядра ОС Демос;
организация стандартного интерфейса семейства ОС Демос.
Секции конференции:
Секция 1. Индустрия ПО.
Лаврищева Е.М. Технологическая подготовка и инженерия разработки ПС.
Лаврищева Е.М., Божевольный В.И., Тимченко В.П. Расчёт совместных показателей средств разработки и контроля процесса проектирования ПО.
Секция 2. Развитие теории и методов создания СУБД.
Секция 3. Новая информационная технология
Секция 4. Программные средства комплексной автоматизации машиностроения.
p.s. кстати от документации Демос я с первой встречи в восторге (помню печатал на RAVI-800 в формате 2 страницы на лист А4 и брошюровал в книжки)
https://lib.ru/MAN/DEMOS210/