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

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