Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная конференция "Проблемы совершенствования синтеза, тестовой верификации и отладки программ"
Тезисы докладов
Тезисы доклада
И.А. Будячевский (Куйбышев) "Инструментальные средства синтеза программ ввода-вывода для встроенных систем".
Тезисы доклада
Д.А. Кубенский (Ленинград) "Структурный макропроцессор для языков высокого уровня".
Тезисы доклада
Ю.М. Штерн, Н.А. Игнатьева, И.И. Ивченко (Донецк) "Отладочные средства в инструментальной системе автоматизации прикладного программирования для персональных ЭВМ".
Тезисы доклада
А.Н. Смертин (Донецк) "Ассоциативная отладка программ".
Тезисы доклада
Ю.М. Штерн, И.А. Давранян, А.Н. Смертин (Донецк) "Автоматизация конструирования пакетов прикладных программ для персональных ЭВМ".
Тезисы доклада
А.А. Чаплинскас (Вильнюс) "О спецификации программ в системах сборочного программирования".
Тезисы доклада
Ю.В. Лауринскас (Вильнюс) "Элементарные формальные системы как язык спецификаций".
Тезисы доклада
М.А. Гладштейн, В.М. Комаров, Н.А. Шубин (Андропов) "Иерархическое программирование встроенных микропроцессоров".
Тезисы доклада
В.Н. Власенко (Львов) "Отладка и тестирование программ реального времени в среде имитационной модели".
Тезисы доклада
М.Н. Бухаров, А.Я. Олейников (Москва) "Синтез рабочего программного обеспечения для систем автоматизации экспедиционных радиофизических экспериментов".
Тезисы доклада
В.Г. Тоценко (Киев) "Об одном подходе к построению экспертных систем для отладки программ".
Тезисы доклада
С.С. Собкин (Москва) "Резидентный метод динамического тестирования комплексов программ реального времени".
Тезисы доклада
Б.А. Позин (Москва) "Структурные методы тестирования и анализа сложных комплексов программ".
Тезисы доклада
Б.А. Позин, С.А. Блау, М.В. Елина (Москва), С.В. Макогонов (Хабаровск), А.А. Мурадян (Ереван) "Автоматизация структурного тестирования двухъязыковых программ".
Тезисы доклада
М.А. Минаев, Т.В. Павлова (Москва) "Определение реализуемых путей в программе".
Тезисы доклада
А.Х. Акопянц (Ростов-на-Дону) "Универсальный диалоговый драйвер пакетов - инструмент разработки программных систем".
Тезисы доклада
С.Т. Петров (Москва) "Синтез моделирующих программ".
Тезисы доклада
А.Ф. Оськин, Л.Д. Оськина (Новополоцк) "Методика разработки больших программных проектов".
Тезисы доклада
К. Джаныбаев, В.А. Петрушин (Киев) "Один из подходов к вопросу о верификации реализаций операций инструментальных языков программирования".
Тезисы доклада
А.В. Макаров, Ю.В. Горностаев (Калинин), Е.Р. Лазебник (Москва) "Требования к построению системы отладки прикладных программ ЭВМ ПС-2000".

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016