Первые всесоюзные конференции по технологии программирования (1968-1992)

1. Первая конференция по программированию (ВКП1).

«Теория и практика составления трансляторов с ЯП».

Киев, 1968 г.

Программный комитет: Е. Л. Ющенко (ИК АН УССР), М. Р. ШураБура, Э. 3. Любимский (ИПМ им. Стеклова), А. П. Ершов (ВЦ Новосибирск), А. Л. Фуксман (Ростов, РУ), С. С. Лавров, А. В. Терехов (Ленинград, ЛГУ) и др. Участников более 1500 человек, заявок 3000.

Пленарные доклады

• • Глушков В. М., Летичевский А. А. Алгебраические и автоматные методы в теории программирования.
• • Поттосин И. В. Операционные системы.
• • Редько В. Н. Параметрические системы программирования.
• • Ершов А. П. Программирование-68.
• • Любимский Э. 3. Машинно-ориентированные системы программирования.
• • Лавров С. С. «АЛГОЛ-60».
• • Камынин С. С., Любимский Э. 3. Универсальные системы программирования на базе машинно-ориентированных языков (АлМО).

Секции конференции

Секция А. Вопросы теории программирования.

Секция Б. Вычислительные системы и системы разделения времени.

Секция В. Процессоры с известных языков (Автокод-СОМИ, Фортран на БЭСМ-6, Алгамс на машинах «Минск-22» и «Днепр-2», перевод с языка моделирования Симула на язык Алгол-60, Рефал — интерпретатор, транслятор с языка Алгол на язык Рефал).

Секция Г. Исследовательские работы по программированию.

Секция Д. Операционные системы («БЭСМ-6», «АСВТ», «УРАЛ-1», «ИФВЭ-67»),.

Секция Е. Специализированные языки и системы.

Секция Ж. Теория и общие вопросы программирования (И. В. Поттосин, Е. Л. Ющенко).

Секция 3. Исследовательские работы по вычислительным системам.

Секция И. Алгоритмические языки (Кобол, Алгол-Кобол, СИРИУС — язык для численно-аналитических выкладок, язык моделирования ДИС-68, язык для описания структурных и схемных алгоритмов ОС, ПЛ/1).

Доклад:

Ершов А. П., Ющенко Е. Л. Первая Всесоюзная конференция по программированию //Кибернетика. 1969. № 3. С. 101—102.

«…У нас наметились все основные направления в области программирования, которые необходимо развивать стране, желающей занимать передовые позиции в области вычислительной техники.

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

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

М. Р. Шура-Бура передал в ИК АН УССР первый транслятор ТА2 с «Алгол-60», который проходил пробную эксплуатацию (Е. М. Лаврищева и В. И. Хильченко) и был выпущен препринт «Инструкция по эксплуатации ТА-2» (1969).

2. Всесоюзный симпозиум «Перспективы развития в системном и теоретическом программировании».

Новосибирск, 1978 г.

Пленарный доклад

А. П. Ершов сказал при открытии:

«Сверхзадачей семинара является попытка увидеть вычислительное дело на рубеже столетий, очертить возможные достижения первого поколения исследователей в области программирования, показать перспективы и проблемы, открывающиеся перед научной сменой».

Секции симпозиума

• 1. Математические основы системного программирования.
• 2. Технология программирования.
• 3. Методы синтеза, верификации и отладки программ.
• 4. Языки программирования, методы их описания и реализации.
• 5. Базы данных и системы управления ими.
• 6. Архитектура вычислительных систем и программного обеспечения.
• 7. Программное обеспечение сетей ЭВМ и систем коллективного пользования.
• 8. Программное обеспечение многопроцессорных систем и параллельное программирование.
• 9. Новые средства общения с ЭВМ.

Было заслушано более 100 докладов на симпозиуме.

Лаврищева Е. М. Подход к промышленной технологии изготовления больших программ. Перспективы развития в системном и теоретическом программировании // Труды Всесоюзного симпозиума. — Новосибирск: Изд-во СО АП СССР, 1978. С. 122−127.

3. Всесоюзная конференция «Автоматизация трансляторов и ППП».

Таллин, 1982 г.

Пленарные доклады

• 1. Ершов А. П. Фундаментальные процессы трансляции.
• 2. Лавров С. С. Язык ДЕКАРТ.
• 3. Курочкин В. А., Серебряков В. А. Современные методы описания языков.
• 4. Бежанова М. М., Тыугу Э. X. Пути построения пакетов программ.
• 5. Вооглайд А. О., Меристе М. В. Обзор систем построения трансляторов.

Секции конференции

Секция 1. Технология. Председатель А. П. Ершов, секретарь М. В. Меристе.

• • Мищенко Н. М. Определение семантики входного языка расширяющейся системы программирования ТЕРЕМ.
• • Щеголева Н. Н. О погружении языков программирования и проектирования в вычислительную среду системы ПРОЕКТ.
• • Бублик В. В., Гороховский С. С., Чуйкевич В. С. Методы определения языков программирования для систем интерпретирующего типа.

Секция 2. Методы трансляции. Председатель С. С. Лавров, секретарь М. Томбак.

• Федюрко В. В., Фелижанко О. Д. О методах реализации специализированных языков управления процессами функционирования системы программ.

Секция 3. Теория. Председатель И. В. Поттосин, секретарь Виллеме.

Секция 4. Построение пакетов программ. Председатель В. М. Курочкин, секретарь Д. Лий.

• Лаврищева Е. М. Транслятор с языка Д-АЛГАМС. Подход к автоматизации пакетов прикладных программ.

Секция 5. Реализованные СПТ. Председатель В. Н. Редько, секретарь X. Рохтла.

4. Всесоюзная Школа-семинар «Параллельное программирование и высокопроизводительные системы».

Алушта, 5—11 октября 1982 г.

Организаторы'. Госкомитет, но науке и технике СССР, Президиум АН СССР, Институт кибернетики им. В. М. Глушкова АН УССР, Симферопольский госуниверситет.

Секции конференции

Секция 1. Формальные основы структурного параллельного программирования.

Доклад Ющенко Е. Л. «Теоретические и прикладные проблемы структурного и параллельного программирования».

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

• 1) произвольно высокий уровень машинного языка;
• 2) принцип децентрализованного параллельного управления вычислительным процессом;
• 3) сочетание синхронной и асинхронной мультиобработки;
• 4) модульно-иерархическая организация мультипроцессоров;
• 5) потенциально неограниченное количество стандартизованных ресурсов;
• 6) гибкая программная реконфигурация структуры мультипроцессоров;
• 7) специализация памяти и самоидентификация данных.

Создание больших программных комплексов неразрывно связано с развитием технологии программирования (ТП) — совокупности знаний о способах и средствах разработки программ, оформившейся в качестве самостоятельной дисциплины к 1968 г., когда состоялась 1-я Международная конференция по ТП. Известные отечественные технологические методы разработки программ:

• • метод формализованных технических заданий (В. М. Глушков, Ю. В. Капитонова, А. А. Летичевский);
• • P-технология (И. В. Вельбицкий);
• • композиционное программирование (В. Н. Редько);
• • метод многоуровневого структурного проектирования программ (Г. Е. Цейтлин);
• • метод сборки программ из разноязыковых модулей (Е. М. Лаврищева).

Секция 2. Средства параллельного программирования и их реализация.

Доклады отдела ТЦА И К:

• Капитонова Ю. В., Летичевский А. А., Бублик В. В., Гороховский С. С., Мищенко Н. М. «О реализации входных языков макроконвейерного вычислительного комплекса».

Макроконвейерный язык (МАЯК) ИК АН УССР представляет собой согласованное семейство ЯП высокого уровня и предназначен для разработки последовательно-параллельных программ, выполняемых в многопроцессорном вычислительном комплексе (МВК) макроконвейерного типа. Рассматривается язык МАЯК как язык мульти модульного программирования (ММП). Предлагаются способы его реализации и принципы взаимодействия пользователя с ММП.

Секция 3. Методы параллельных вычислений и их сложность.

Секция 4. Организация вычислений на высокопроизводительных структурах.

• • Гороховский С. С., Капитонова Ю. В., Летичевский А. А., Федюрко В. В., Фелижанко О. Д., Щеголева Н. Н. «О разработке и реализации операционной системы МВК».
• 5. Всесоюзная конференция

«Современные проблемы кибернетики и вычислительной техники».

К 60-летию образования СССР.

Киев, 2—4 декабря 1982 г.

Учредители: Госкомитет, но науке и технике СССР, АН СССР, АН УССР, Институт кибернетики.

Пленарные доклады

• • Бабаян Б. А. Архитектура и ОС вычислительных комплексов, аппаратно ориентированных на ЯП высокого уровня.
• • Бурцев В. С. МВК ЭЛЬБРУС. Выход на миллиардную производительность.
• • Дородницын А. А. Новые нетрадиционные применения математики и вычислительной техники.
• • Котов В. Е. Перспективы развития и реализации системы МАРС.
• • Мельников В. А. О разработке мультипроцессорных систем.
• • Михалевич В. С. Итоги и перспективы развития научных исследований в ИК им. В. М. Глушкова АН УССР.
• • Поспелов Г. С. Искусственный интеллект — новая информационная технология.
• • Самарский А. А. Современные проблемы развития вычислительной математики.
• 6. VI Всесоюзная школа-семинар «Параллельные вычислительные системы», посвященная 60-летию академика В. М. Глушкова.

Киев, 3—6 октября 1983 г.

Учредители: Общество радиотехники, электроники и связи им. А. С. Попова, Центральное правление. Республиканское управление АН УССР, Научный совет АН УССР по проблеме «Кибернетика».

Пленарные доклады

• • Ющенко Е. Л. Вклад В. М. Глушкова в теорию и практику программирования.
• • Шура-Бура М. Р. Пути повышения уровня автоматизации программирования.
• • Капитонова Ю. В., Летичевский А. А. О технологии управления параллельными вычислениями.
• • Редько В. Н. Семантическое конструирование программ (основные результаты и открытые проблемы).
• • Вельбицкий И. В. Технология организации параллельной работы коллектива программистов.
• • Цейтлин Г. Е. Математические основы структурного параллельного программирования.
• • Анисимов А. В. Программирование параллельных процессов в управляющих пространствах.
• • Погребинский С. Б. Обеспечение надежности многопроцессорных вычислительных комплексов.

Секции конференции

Секция «Методы параллельных вычислений».

• • Гороховский С. С. Языковые средства организации параллельных вычислений и их поддержка в операционной системе.
• • Федюрко В. В., Фелижанко О. Д., Щеголева Н. Н. Средства обеспечения взаимодействия многопроцессорного комплекса с внешней средой.
• • Мищенко Н. М. О средствах расширения в системах программирования.

Секция «Разработка программных систем».

• • Лаврищева Е. М. Сборочный конвейер Глушкова и др.
• 7. Всесоюзная научно-техническая конференция «Программные средства как продукция производственно-технического назначения».

Калинин, 10—15 октября 1985 г.

Пленарный доклад

Диковский А. Я. Иванов С. И. и др. Спецификация, разработка и анализ архитектуры больших программ в системе «СУПЕРФОРМАТ».

Основные положения:

• • требования к разработке больших программ;
• • абстрактный язык Суперформат (в Центрпрограммсистем);
• • база разработки проекта.

Вельбицкий И. В. P-технология разработки программ. Дана характеристика визуального P-языка для описания любых программ.

Секции конференции

Секция 1. Технология разработки программных средств Лаврищева Е. М., Панчук А. Н., Сематюк В. П. Технология разработки СОД.

Секция 2. Автоматизация проектирования и программирования ПС. Секция 3. Языковые и инструментальные средства разработки ПО. Секция 4. Отладка, тестирование и верификация программ и ПО. Секция 5. Опыт разработки программных средств.

8. II всесоюзная конференция «Технология программирования» (1986),.

ГКНТ, ГКВТИ, АН СССР, АН Украинской ССР, Комиссия ГКНТ по технологии программирования.

Было заслушано 350 докладов.

Программный комитет: Г. С. Поспелов, А. А. Самарский, Е. А. Федоров, Н. Н. Говорун, Л. Н. Королев, С. С. Лавров, Е. Л. Ющенко, Э. X. Тыугу, Я. М. Бардзинь, Б. И. Рамеев, В. П. Тихомиров и др.

Пленарные доклады

• • Ершов А. П. Отношение методологии и технологии программирования.
• • Вельбицкий И. В. Графический стиль и стратегии профессиональной технологии программирования.
• • Брябрин В. М. Методы построения прикладных систем на ПЭВМ.
• • Волховер В. Г. Технология программирования в системе образования.
• • Котляров В. П. Технология программирования ПЭВМ, микроЭВМ, и микропроцессорных систем для встроенных применений.
• • Липаев В. В. Технико-экономическая эффективность технологий разработки программных средств.
• • Тыугу Э. X. Технология проектирования программных средств.
• • Самарский А. А. Технология вычислительного эксперимента и технология программирования.
• • Ершов А. П. Отношение методологии и технологии программирования.

В докладе Ершова выделено три поколения интегральной промышленной технологии программирования до 2000 г. и три направления в программировании:

• • организационное программирование (1975—1985);
• • сборочное программирование (1985—1995);
• • доказательное программирование (1995—2005).

Лаврищева Е. М., Моренцов Е. И. Об одном подходе к технологической подготовке программных изделий для СОД.

9. Международная научно-техническая конференция «Программное обеспечение ЭВМ», ИНТЕРСОФТ-87.

Калинин, ноябрь 1987 г.

Пленарные доклады

• • Липаев В. В. Методы и средства обеспечения переносимости программ. Для обеспечения переносимости предложены уровни:
  • — алгоритмов функциональных программ;
  • — спецификации требований на все элементы ПО;
  • — описания текстов программ на языке высокого уровня, Ассемблере и в коде;
• • Тихомиров В. II., Символ В. К. Предпосылки и цели создания семейства ОС Демос.

Для Unix-подобных ОС (Демос) выполнено:

• — создание структурного и содержательного ядра и окружения, входящего в семейство;
• — разработка требований к составу функций ядра новых ОС;
• — задание статической и динамической спецификации ядра ОС Демос;
• — организация стандартного интерфейса семейства ОС Демос.

Секции конференции

Секция 1. Индустрия ПО.

• • Лаврищева Е. М. Технологическая подготовка и инженерия разработки ПС.
• • Лаврищева Е. М., Божевольный В. И., Тимченко В. П. Расчет совместных показателей средств разработки и контроля процесса проектирования ПО.

Секция 2. Развитие теории и методов создания СУБД.

Секция 3. Новая информационная технология.

Секция 4. Программные средства комплексной автоматизации машиностроения.

• 10. 2-я Всесоюзная конференция «Технология программирования 90-х»
• (МНЦТП Технософт, Интеллектуальные ресурсы IBM — IRI), Киев, 28 сентября — 3 октября 1992 г.

Пленарный доклад

• Вельбицкий И. В. P-технология программирования графическими структурами.

Секции конференции

Секция 1. Новые парадигмы технологии программирования, искусственный интеллект, визуализация, ООП (14 докладов).

Секция 2. Инструментальные средства и интегрированные CASE-системы: разработка, использование, перспективы.

• Лаврищева Е. М. Объектно-ориентированное проектирование в отечественной CASE-еистеме.

Секция 3. Управление и оценка качества ПО: методы и средства Секция 4. Проблемы создания инфраструктуры софтверного рынка.