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

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