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

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