М.Е. Дьяконов, В.В. Никонов (Ленинград) "Использование моделей надежности при оценке эффективности эмулирующих систем".

А.В. Яковлев, А.Л. Медынцев "Верификация управляющей структуры интерактивной сети процессоров".

А.В. Шалагин, А.В. Экало (Ленинград) "О тестировании диалоговых систем".

Т.В. Хуцишвили (Тбилиси) "Вопросы автоматического тестирования и корректировки Лисповских функций".

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

М.И. Аугустон, Я.М. Барздинь, А.А. Калниньш, Ю.Ф. Стродс (Рига) "Язык спецификаций SDL PLUS для проектирования систем реального времени".

М.И. Аугустон, Я.М. Барздинь, А.К. Зариньш, А.А. Калниньш (Рига) "Проект системы проектирования и тестирования на базе языка SDL PLUS".

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

Э.Ш. Арш, М.И. Аугустон, Я.М. Барздинь, А.К. Зариньш, Э.В. Звирбулис, Б.А. Икауниеце, А.А. Калниньш, З.А. Озола, М.В. Цепите (Рига) "Система тестирования программ на базе языка спецификаций".

Ю.Ф. Стродс (Рига) "Верификация контекстно-свободных грамматик".

И.Э. Этмане (Рига) "Экспериментальная система индуктивного синтеза программ".

Р.В. Фрейвальд (Рига) "Вероятностный индуктивный синтез номеров частично рекурсивных функций".

Н.Б. Адащик, В.В. Иванов, А.Б. Меликян (Пятигорск) "Структурные критерии тестирования синхронно-параллельных программ".

Я.М. Барздинь, А.Н. Бразма, Е.Б. Кинбер (Рига) "Индуктивный синтез: состояние, проблемы, перспективы".

П.Е. Зикеев (Донецк) "Метрологическая аттестация алгоритмов и программ измерительно-вычислительных комплексов".

Ю.П. Горелов, В.А. Ловицкий, А.М. Луганский, В.И. Марков, И.В. Улезченко (Харьков) "Общие принципы построения естественноязыковой системы автоматического синтеза программ".

Ю.П. Горелов, В.А. Ловицкий, А.М. Луганский, В.И. Марков, И.В. Улезченко (Харьков) "Методы синтеза программ в интеллектуальных естественно-языковых системах".

М.В. Сергиевский, А.Б. Чичигин (Москва) "Метод преобразования последовательных программ в параллельные".

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

В.Д. Ефремов, А.И. Племенек (Ленинград) "Интегрированный измерительный комлекс для оценки производительности структурированных программных систем на СМ ЭВМ".