Материалы журнала за 2012 год

МАТЕРИАЛЫ ЖУРНАЛА «КОМПЬЮТЕРНЫЕ

ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ» ЗА 2012 ГОД

КОЛОНКА РЕДАКТОРА 1, 3.

А.Н. Терехов. Великий мат-меховец, член-корреспондент АН СССР Сергеевич Лавров. 6, 3-12.

ИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Д.А. Григорьев, А.В. Григорьева, В.О. Сафонов. Бесшовная интеграция аспектов в облачные приложения на примере Enterprise Library Integration Pack for Windows Azure и Aspect.NET. 4, 3-15.

Д.В. Кознов, А.В. Шутак, М.Н. Смирнов, М.А. Смажевский. Поиск клонов при рефакто-ринге документации. 4, 30-40.

А.Н. Косякин. Cirrocumulus - система управления IT-инфраструктурой. 1, 4—13.

A.В. Пилипенко. Обзор интерпретации и компиляции в виртуальных машинах. 3, 3-15.

B.Ю. Трифанов. Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов. 4, 16-29.

Д.А. Фролов. Разработка универсальной библиотеки аспектов для надёжных и безопасных вычислений в приложениях . Net. 2, 3-10.

ИНФОРМАТИКА

Н.Б. Ампилова, И.П. Соловьев. Алгоритмы фрактального анализа изображений. 2, 19-24. А.В. Григорьева. Аспектно-ориентированный рефакторинг облачных приложений MS AZURE с помощью системы Aspect.NET. 1, 21-30.

Н.К. Косовский. Алгоритмы Маркова-Турчина и доказательства полиномиальной эффективности программ на языке рефал-5. 4, 41-49. А.М. Коточигов. Алгоритм нумерации элементов выборки. 2, 34-39. Б.К. Мартыненко. Регулярные языки и КС-грамматики. 1, 14-20. Б.К. Мартыгненко. Каскадный метод регуляризации КС-грамматик. 2, 11-18. Ю.В. Матиясевич. Математическое доказательство: вчера, сегодня, завтра. 6, 13-24. А.В. Паньгин. Фрактальный анализ состояния неустойчивости физической системы. 2, 25-33. И.В. Романовский. Перебор субоптимальных решений дискретных задачах оптимизации. 6, 25-34.

ИНФОРМАЦИОННЫЕ СИСТЕМЫ

Д.Б. Инихов, Ю.Б. Колесов, Ю.Б. Сениченков. Пакеты моделирования в образовании: современная ситуация и нерешенные проблемы. 6, 44-55.

А.С. Кондратьев, А.В. Ляпцев, И.А. Михайлова. Математическое моделирование лазер-индуцированного тромбоза в кровеносных сосудах живых организмов. 4, 50-61.

C.Н. Николаев. Программный модуль для трехмерного хирургической операции по увеличению груди. 3. 38-46.

А.Л. Олейник. Модификация временных и частотных характеристик речевого сигнала. 3, 16-27.

О.В. Перчёнок, Д.М. Клионский. Автоматизация верификации решения задач в области цифровой обработки сигналов. 3, 28-37.

Г.Б. Сологуб. Построение и использование байесовской сети для моделирования знаний

студента в интеллектуальной системе тестирования. 2, 40-48.

Alkiviadis G. Akritas. Free Working Environments for Computer Algebra. 6, 35-43.

РАЗРАБОТКА АППАРАТНЫХ ПЛАТФОРМ

С.И. Салищев. Кусочно-полиномиальная аппроксимация с сокращенными таблицами и гарантированной точностью. 5, 3-10.

КОМПЬЮТЕР В УЧЕБНОМ ПРОЦЕССЕ

М.Э. Абрамян. Реализация электронного задачника строковым алгоритмам биоинформатики предметно-ориентированном языке. 2, 49-58.

М.Э. Абрамян. Использование электронного задачника по строковым алгоритмам биоинформатики. 3, 47-56.

Ю.Б. Колесов. Вычислительные эксперименты в пакете RMD. 5, 11-24.

A. С. Кондратьев, А.В. Ляпцев. Сечения Пуанкаре при описании поведения нелинейных систем. 1, 39-47.

О.В. Перчёнок, С.Н. Поздняков, И.А. Посов. Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. 1, 31-38.

ПОДГОТОВКА СПЕЦИАЛИСТОВ Профессиональные стандарты

B.Н. Васильев, Л.С. Лисицына. Основные направления информационно-образовательной среды вуза в связи с переходом на ФГОС ВПО. 4, 62-68.

В.Н. Васильев, В.Г. Парфёнов. Подготовка высококвалифицированных специалистов в области разработки программного обеспечения. 1, 48-56.

Программы обучения

В. О. Сафонов. Облачные вычисления, принципы их преподавания и Интернет-курс по системе Microsoft Windows Azure. 1, 57-64.

Новые методы обучения

A.А. Исаков. Экспериментальная оболочка OpenMVLShell. 5, 33-41.

Н.К. Косовский. Формалицованная дискретность в математике как основа обучения информатике. 6, 56-62.

К.К. Смирнов, Г.А. Черныгшев. Участие в соревновании ACM SIGMOD как возможность для студентов углубленно изучить некоторые аспекты баз данных и программной инженерии. 5, 25-32.

ПРАКТИКА ПРОГРАММИРОВАНИЯ

Д.А. Павлов. Разработка языка программирования на Racket. 5, 46-63. СОБЫТИЯ

B.О. Сафонов, А.Н. Сафонова. Международная конференция «Microsoft Research Software Summit 2011» (Париж, 13-15 апреля 2011 г.). 3, 57-60.

Ю.Б. Сениченков. К0М0Д-2013. 2, 59-61.

НАУЧНО-ПОПУЛЯРНЫЕ СТАТЬИ

Фильм «DIMENSIONS». 2, 62-64.

В. С. Ферштман. Задача Фибоначчи (попытка решения старинной математической загадки). 5, 42-45.