Новосибирск, Институт систем информатики имени А.П. Ершова, 2006. —
170 с.
Сборник содержит статьи, представленные аспирантами и молодыми
сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические
аспекты программирования, информационные технологии и
информационные системы, системное программное обеспечение,
прикладное программное обеспечение.
Содержание:
Андреева М.В. Временные структуры конфигураций: поведенческие эквивалентности и детализация действий.
Батура Я.Н. Человеко-машинная модель языка мышления.
Белоглазов Д.М. Обнаружение взаимодействия функциональностей в телефонных сетях с помощью раскрашенных сетей Петри.
Ботоева Е.Ю. Двух- и трехмерная визуализации множества решений в системе UniCalc.
Бражник С.А. Формальная модель диаграммы классов языка UML.
Веретнов С.О. Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL.
Вольхина Н.К. Автоматическое восстановление бизнес-логики программ.
Грибовская Н.С. Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей.
Демин А.В., Витяев Е.Е. Разработка модели адаптивного поведения анимата на основе семантического вероятностного вывода.
Кальченко В.В. XML-алгебра для языка запросов XQuery.
Пятков А.Б. Формальная модель основных понятий языка C#.
Андреева М.В. Временные структуры конфигураций: поведенческие эквивалентности и детализация действий.
Батура Я.Н. Человеко-машинная модель языка мышления.
Белоглазов Д.М. Обнаружение взаимодействия функциональностей в телефонных сетях с помощью раскрашенных сетей Петри.
Ботоева Е.Ю. Двух- и трехмерная визуализации множества решений в системе UniCalc.
Бражник С.А. Формальная модель диаграммы классов языка UML.
Веретнов С.О. Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL.
Вольхина Н.К. Автоматическое восстановление бизнес-логики программ.
Грибовская Н.С. Открытые морфизмы и временная тестовая эквивалентность для временных автоматных моделей.
Демин А.В., Витяев Е.Е. Разработка модели адаптивного поведения анимата на основе семантического вероятностного вывода.
Кальченко В.В. XML-алгебра для языка запросов XQuery.
Пятков А.Б. Формальная модель основных понятий языка C#.