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

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