И.А. Будянский "Ситуационное диагностирование программного обеспечения".

И.А. Будянский "Диагностирование программного обеспечения".

Ю.Н. Минаев (Киев) "Оценка эффективности процедур отладки программ при помощи моделей нечеткой логики".

Г.А. Гуров, А.М. Мордкович, Е.Д. Чеканова (Москва) "Программирование логических задач на основе табличных алгоритмов".

Г.А. Гуров, А.М. Мордкович, Е.Д. Чеканова (Москва) "Табличные алгоритмы для решения логических задач".

Б.Я. Советов, В.Ф. Рябов, А.Г. Кузнецов (Ленинград) "Модель для отладки и контроля программного обеспечения системы реального времени".

В.А. Дёмин, А.А. Каргин, В.Б. Новиков (Донецк) "Автоматизированный синтез управляющих программ на основе системы правил".

Т.Г. Мучник (Новосибирск) "Универсальный структурный редактор со средствами семантического контроля".

Е.В. Шевякова "Эквивалентные модели текстов программ на языках разного уровня и их применение при отладке".

А.В. Плотников, В.Н. Хохловский (Ленинград), А.В. Аникин (Чебоксары) "Использование аксиоматического подхода при верификации микропрограммирования".

М.С. Марголин, Т.П. Потапенко (Минск) "Применение остаточных программ для отладки исходной программы".

Р.Н. Чен "Отладка обучающей программы в АОС-ВУЗ".

Л.Ф. Дробушевич (Минск) "Генерация маршрутов для тестирования программ".

Г.А. Дробушевич, А.М. Кадан (Минск) "Об одном методе синтеза программ для совместной обработки потоков структурированной информации".

В.С. Галкин (Пермь) "Применение метрической логики времени для верификации программ".

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

А.Н. Климов (Ленинград) "Структурные функции в задачах проектирования программ".

А.Е. Дорошенко (Киев) "Применение коммуникационной модели для синтеза эффективных макроконвейерных программ".

С.П. Горлач (Киев) "О построении параллельных программ по системам рекуррентных соотношений".

Б.Я. Кавалерчик (Минск) "Тестирование взаимодействий программ с внешней средой".