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