Молодая информатика - 2006

Сборник трудов аспирантов и молодых ученых
Выпуск 2
Под редакцией к.ф.-м.н. И.С. Ануреева
Новосибирск 2006

Сборник содержит статьи, представленные аспирантами и молодыми сотрудниками ИСИ СО РАН, по следующим направлениям: теоретические аспекты программирования, информационные технологии и информационные системы, системное программное обеспечение, прикладное программное обеспечение.

Сборник в формате PDF


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