__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 309-313
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 14.15
_________________________________________________________________
Рассмотрение дипломных работ
13 апреля
Мантуров В.А. Разработка и реализация транслятора в системе
анализа Фортран-программ
Кочубей Е.А. Разработка и реализация диалогового метапреобразо-
вателя системы анализа Фоpтpан-программ
Емельянов П.Г. Сравнительный анализ алгоритмов абстрактной ин-
терпретации МОДУЛА-программ
Грабарь А.В. Программные средства декомпозиции кода программ
20 апреля
Черевко А.А. Реализация алгоритма поиска гамаков в графах
Доледонок В.Г.Реализация параметризованных (родовых) компонен-
тов языка программирования баз данных АТЛАНТ
Курикалов Б.В. Разработка структуры и программного интерфейса
словаря справочника данных на базе файловой системы AFS
Ольков В.Г. Разработка программно-методического обеспечения для
исследования с помощью ЭВМ математических функций на экстремумы
27 апреля
Герега А.А. Расчет характеристик реакций с линейным механизмом
на основе САВ
Гринь Ю.И. Расчет линейных систем на основе САВ
Диденко В.А. Верификация программ обработки текстовых файлов
Ануреев И.С. Разрешающие процедуры для автоматических систем
верификации программ
4 мая
Ращенко Т.Г.Генерация заданий и сбор статистики в настраиваемой
среде активного обучения программированию
Иванова А.В. Организация диалога в настраиваемой среде активно-
го обучения программированию
Малинина Ю.В. Средства работы со словарями для обучающих систем.
Сорокина Ю.А. Музыкальные обучающие программы. Музыкальный ре-
дактор.
11 мая
Погосян О.А. Реализация системы исполнителей языка РОБИК
Барская С.Е. Базовый интерпретатор для разработки учебно-игро-
вых программ
Оберемок О. Обучающая экспертная система по русскому языку для
информатиков.
Кузнецов В.В. Разработка компонент РАПИРА компилятора для IBM PC
Ляпин А. Программные средства представления семантики языков
программирования на базе языка Лисп