В.Д. Ляшенко (Минск) "Оценка надежности сложных комплексов программ на ранних этапах разработки".

Г.Э. Микаилов, О.Л. Перевозчикова (Киев) "Производство маршрутных систем в ДИСУППП с заданным уровнем надежности".

В.Г. Лазарев, Э.П. Бобриков (Днепропетровск) "Об одном подходе к синтезу диалоговых программ".

А.Ф. Штирьков, Э.П. Бобриков (Днепропетровск) "Об одном подходе при создании управляющей части мониторных мультизадачных систем".

В.В. Иванов, А.Б. Меликян, О.С. Сорокин (Пятигорск) "Метод тестирования на основе структурной модели информационной среды программ".

Л.Л. Чхаидзе, Г.Р. Чалабов (Тбилиси) "Эспериментальная система для отладки программного обеспечения на языках низкого уровня средствами восстановления типовых свойств данных".

И.Г. Суворова (Харьков) "Метод тестирования, верификации и отладки программ решения СЛАУ".

М.М. Диакону, В.И. Мадан (Кишинев) "Интерактивная система построения качественных программ".

В.П. Рубленко (Харьков) "О синтезе программ в автоматизированной системе технико-экономического планирования".

Г.Г. Гнездилова (Москва) "Оперативная отладка и тестирование программ на ПЭВМ".

С.С. Гончаров, Д.И. Свириденко (Новосибирск) "Об одной стратегии исполнения СИГМА-программ".

А.Р. Дзерве (Рига) "МВС как средство тестирования по АТС".

А.А. Шаринбаев (Алма-Ата) "Вопросы верификации и синтеза РЕФАЛ-ПРОГРАММ".

В.Е. Журавлев (Москва) "О методе резолюции в системах программного синтеза на основе логико-временных спецификаций".

М.И. Канович (Калинин) "Логико-математические методы эффективного синтеза программ в концептуальных базах знаний".

В.В. Бахтизин, А.И. Касаткин (Минск) "Измерение безотказности и устойчивости программ в процессе их синтеза и тестирования".

Л.К. Коблов, В.Н. Сорокин, Н.В. Слепцов "Пакет прикладных программ для отладки, измерения характеристик и контроля качества программ в ОС ЕС ЭВМ".

М.И. Песков, В.И. Гордеев "Модель эквивалентных преобразований программ в системе автоматизации программирования специализированных ЭВМ".

М.И. Песков, В.И. Гордеев "Модель эквивалентных преобразований программ в системе автоматизации программирования специализированных ЭВМ".

В.М. Нестеров (Ленинград) "Автоматическое доказательство символьных неравенств в системе синтеза программ".