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

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

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

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


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



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).