№ 4 (2012)

Показать № 4 (2012)

Опубликован: 31.08.2012

Весь выпуск

PDF

Инженерия программного обеспечения

Бесшовная интеграция аспектов в облачные приложения на примере библиотеки Enterprise Library Integration Pack for Windows Azure и Aspect.NET

Д. А. Григорьев, А. В. Григорьева, В. О. Сафонов
- PDF
Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов

В. Ю. Трифанов
- PDF
Поиск клонов при рефакторинге технической документации

Д. В. Кознов, А. В. Шутак, М. Н. Смирнов, М. А. Смажевский
- PDF

Информатика

Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5

Н. К. Косовский
- PDF

Информационные системы

Математическое моделирование лазер-индуцированного тромбоза в кровеносных сосудах

А. С. Кондратьев, А. В. Ляпцев, И. А. Михайлова
- PDF

Подготовка специалистов

Основные направления информационно-образовательной среды вуза в связи с переходом на ФГОС ВПО

Л. С. Лисицына, В. Н. Васильев
- PDF