МАТЕРИАЛЫ ЖУРНАЛА «КОМПЬЮТЕРНЫЕ
ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ» ЗА 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.