Тезисы доклада И.А. Будячевский (Куйбышев) "Инструментальные средства синтеза программ ввода-вывода для встроенных систем".
Тезисы докладаД.А. Кубенский (Ленинград) "Структурный макропроцессор для языков высокого уровня".
Тезисы докладаЮ.М. Штерн, Н.А. Игнатьева, И.И. Ивченко (Донецк) "Отладочные средства в инструментальной системе автоматизации прикладного программирования для персональных ЭВМ".
Тезисы докладаА.Н. Смертин (Донецк) "Ассоциативная отладка программ".
Тезисы докладаЮ.М. Штерн, И.А. Давранян, А.Н. Смертин (Донецк) "Автоматизация конструирования пакетов прикладных программ для персональных ЭВМ".
Тезисы докладаА.А. Чаплинскас (Вильнюс) "О спецификации программ в системах сборочного программирования".
Тезисы докладаЮ.В. Лауринскас (Вильнюс) "Элементарные формальные системы как язык спецификаций".
Тезисы докладаМ.А. Гладштейн, В.М. Комаров, Н.А. Шубин (Андропов) "Иерархическое программирование встроенных микропроцессоров".
Тезисы докладаВ.Н. Власенко (Львов) "Отладка и тестирование программ реального времени в среде имитационной модели".
Тезисы докладаМ.Н. Бухаров, А.Я. Олейников (Москва) "Синтез рабочего программного обеспечения для систем автоматизации экспедиционных радиофизических экспериментов".
Тезисы докладаВ.Г. Тоценко (Киев) "Об одном подходе к построению экспертных систем для отладки программ".
Тезисы докладаС.С. Собкин (Москва) "Резидентный метод динамического тестирования комплексов программ реального времени".
Тезисы докладаБ.А. Позин (Москва) "Структурные методы тестирования и анализа сложных комплексов программ".
Тезисы докладаБ.А. Позин, С.А. Блау, М.В. Елина (Москва), С.В. Макогонов (Хабаровск), А.А. Мурадян (Ереван) "Автоматизация структурного тестирования двухъязыковых программ".
Тезисы докладаМ.А. Минаев, Т.В. Павлова (Москва) "Определение реализуемых путей в программе".
Тезисы докладаА.Х. Акопянц (Ростов-на-Дону) "Универсальный диалоговый драйвер пакетов - инструмент разработки программных систем".
Тезисы докладаС.Т. Петров (Москва) "Синтез моделирующих программ".
Тезисы докладаА.Ф. Оськин, Л.Д. Оськина (Новополоцк) "Методика разработки больших программных проектов".
Тезисы докладаК. Джаныбаев, В.А. Петрушин (Киев) "Один из подходов к вопросу о верификации реализаций операций инструментальных языков программирования".
Тезисы докладаА.В. Макаров, Ю.В. Горностаев (Калинин), Е.Р. Лазебник (Москва) "Требования к построению системы отладки прикладных программ ЭВМ ПС-2000".
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
По порядку | По алфавиту | По дате |