Очерки по истории компьютерной науки и техники в Украине



           

Очерки по истории компьютерной науки и техники в Украине - стр. 162


программированию в те годы. Профессия программиста была окружена
ореолом престижности и стала символом того времени.
 
В те годы число версий языков программирования приближалось к 1000 и
для каждого нового компьютера разрабатывался свой язык. Для решения
проблемы мобильности программ с 70-х годов в Киеве начались работы по
стандартизации языков программирования. В 1979 г. создан
государственный стандарт языка Кобол, обновленный в 1990 г.
Специалисты школы принимали О.Л.Перевозчикова. 1978 г. участие в
разработке стандартов
 
СССР по языкам Фортран-2, Алгамс, Алгол-68 и Ада, а также СНГ -
стандартов Фортрана-77, Паскаля, ПЛ/1, Си.
 
В 70-80-е годы окончательно сложился предмет исследования
теоретического программирования. К тому времени развилась теория
алгоритмических алгебр Глушкова; широко использовался аппарат теории
автоматов и формальных языков; началась форматизация методов
представления знаний. Основным достижением школы в это время явилось
создание алгебро-грамматического (АГ) аппарата синтеза программного
продукта.
 
Посвященная ему монография "Алгебра. Языки. Программирование" трижды
издавалась в СССР и один раз в Германии [18, 19]. Практическим
воплощением этого аппарата стала реализация нескольких версий
синтезатора МУЛЬТИПРОЦЕССИСТ Фортран-, Си- или Паскаль-программ для
разных компьютерных платформ [12, 13].
 
В развитие АГ-методов представления знаний для конструирования
профессиональных программных систем построен асинхронный
недерминированный распознаватель оля синтеза класса продукционных
систем с динамическим планированием пошаговыхдиалоговых вычислений
[16-18]. Разработан метод обоснования корректности при синтезе
программных систем с использованием набора компонентов многоразового
использования (КМИ). Сформирован набор КМИ для прототипирования
профессиональных систем по представлению модели предметной области
(МПрО), в который включены три группы компонентов: (1) решатель.



Содержание  Назад  Вперед