ПРОГРАММИРОВАНИЕ, 2008, № 1, с. 79-80
АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В ЖУРНАЛЕ В 2007 ГОДУ
Абрамов С.А., Боголюбская A.A., Ростовцев В.А., Еднерал В.Ф. Семинар по компьютерной алгебре в 2005-2006 гг. № 2, 3-8 (55-59)1
Абрамов С.А., Поляков С.П. Уточненные универсальные знаменатели № 3,16-23 (132-138)
Бабичев A.B., Лебедев В.Г. Язык спецификации взаимодействующих процессов Model-100 №1, 5-22 (2-13)
Блинков Ю.А. см. Гердт В.П.
Боголюбская A.A. см. Абрамов С.А.
Бозоян III.Е., Егиазарян B.C. Язык Alex описания схем № 4, 65-80 (227-237)
Бурдонов И.Б., Косачев A.C., Кулямин В.В.
Формализация тестового эксперимента №5, 3-32 (239-260)
Васенин В.А., Водомеров А.Н. Формальная модель системы автоматизированного распараллеливания программ № 4, 3-19 (181-194)
Виницкий С.И., Гердт В.П., Гусев A.A., Кас-чиев М.С., Ростовцев В.А., Самойлов В.Н., Тюпикова Т.В., Чулуунбаатар О. Символьно-численный алгоритм вычисления матричных элементов параметрической задачи на собственные значения №2, 63-76 (105-116)
Винклер Ф. см. Шемякова Е.С.
Вирбицкайте И.Б. Отчет о Шестой международной конференции "Перспективы систем информатики" № 3, 73-80 (174-179)
Водомеров А.Н. см. Васенин В.А.
Вьюкова Н.И., Галатенко В.А., Самбор-ский C.B. Программная конвейеризация циклов методом планирования по модулю №6, 14-25 (307-315)
Галатенко В.А. см. Вьюкова Н.И.
Гамаюнов Д.Ю., Смелянский P.J1. Модель поведения сетевых объектов в распределенных вычислительных системах №4,
20-31 (195-203)
'В скобках указаны номера страниц в издании журнала на английском языке.
Гердт В.П., Блинков Ю.А. О стратегии выбора немультипликативных продолжений при вычислении базисов Жане № 3, 34-43 (147-153)
Гердт В.П. см. Виницкий С.И.
Гогин Н.Д., Мюлляри A.A. Последовательность Фибоначчи-Падована и матрицы преобразования Мак-Вильямс №2, 26-31 (74-79)
Гринева М.П., Гринев М.Н. Триггеры на выборку данных в XML-ориентированных СУБД: эффективная реализация с использованием теневого механизма № 4, 32-45 (204-213)
Гринев М.Н. см. Гринева М.П.
Гуров B.C., Мазин М.А., Нарвский A.C., Ша-
лыто A.A. Инструментальное средство для поддержки автоматного программирования №6, 65-80 (343-355)
Гусев A.A. см. Виницкий С.И.
Демаков A.B. Объектно-ориентированное описание графовых структур данных №5, 33-46 (261-271)
Егиазарян B.C. см. Бозоян Ш.Е.
Еднерал В.Ф. см. Абрамов С.А.
Зима Е.В., Стюарт A.M. Числа Куннингама в модулярной арифметике № 2, 32-40 (80-86)
Зорин A.B., Севастьянов Л.А., Третьяков Н.П.
Компьютерное моделирование водородоподоб-ных атомов в квантовой механике с неотрицательной функцией распределения №2, 50-62 (94-104)
Зюзиков П.А. см. Семенов A.C.
Иванников В.П., Камкин A.C., Косачев A.C.,
Кулямин В.В., Петренко А.К. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры №5, 47-61 (272-282)
Изабеков З.А. см. Тарануха H.A.
Камкин A.C. см. Иванников В.П.
Касчиев М.С. см. Виницкий С.И.
АВТОРСКИЙ УКАЗАТЕЛЬ
80
Клепинин A.B. Об универсальной модели организации доступа к базам данных №1, 51-64 (34-43)
Корняк В.В. Симметричные клеточные автоматы № 2, 41-49 (87-93)
Косачев A.C. см. Бурдонов И.Б.
Косачев A.C. см. Иванников В.П.
Кузнецов М.Б. Трансформация UML-моделей и ее использование в технологии MDA №1,
65-78 (44-53)
Кулямин В.В. Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой №3, 44-72 (154-173)
Кулямин В.В. см. Бурдонов И.Б.
Кулямин В.В. см. Иванников В.П.
Лебедев В.Г. см. Бабичев A.B.
Лисица А.П., Немытых А.П. Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4) №1, 22-34 (14-23)
Мазин М.А. см. Гуров B.C.
Мюлляри A.A. см. Гогин И.Д.
Нарвский A.C. см. Гуров B.C.
Немытых А.П. см. Лисица А.П.
Новосельцев В.Б. Синтез параллельных рекурсивных программ в структурных функциональных моделях № 5, 75-80 (293-298)
Пакулин Н.В., Хорошилов A.B. Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов №6, 26-55 (316-335)
Петренко А.К. см. Иванников В.П.
Подловченко Р.И., Русаков Д.М. Проблема включения в алгебраической модели программ с константами №3, 3-15 (121-131)
Прокопеня А.Н. Символьные вычисления в исследованиях устойчивости решений линейных систем дифференциальных уравнений с периодическими коэффициентами № 2, 9-16 (60-66)
Поляков С.П. см. Абрамов С.А.
Ростовцев В.А. см. Абрамов С.А.
Ростовцев В.А. см. Виницкий С.И.
Русаков Д.М. Алгоритм проверки включения схем в алгебраической модели программ с константами №6, 3-13 (299-306)
Русаков Д.М. см. Подловченко Р.И.
Самборский C.B. см. Вьюкова Н.И.
Самойлов В.Н. см. Виницкий С.И.
Севастьянов Л.А. см. Зорин A.B.
Семенов A.C., Зюзиков П.А. Инволютивные деления и мономиальные упорядочения №3, 24-33 (139-146)
Сердюкова С.И. Обратная задача для двумерного дискретного уравнения Шредингера в квадрате № 2, 77-80 (117-119)
Соколов В.В. см. Терехов А.Н.
Смелянский Р.Л. см. Гамаюнов Д.Ю.
Стюарт A.M. см. Зима Е.В.
Тарануха H.A., Изабеков З.А. Способ воксель-ного отображения трехмерного объекта №6, 56-64 (336-342)
Терехов А.Н., Соколов В.В. Реализация стыка между MSC- и SDL-диаграммами в технологии REAL № 1, 35-50 (24-33)
Третьяков Н.П. см. Зорин A.B.
Тюпикова Т.В. см. Виницкий С.И.
Файзулхаков Я.Р. Обзор методов синхронизации времени в беспроводных сенсорных сетях № 4, 46-64 (214-226)
Хорошилов A.B. см. Пакулин Н.В.
Чулуунбаатар О. см. Виницкий С.И.
Шалыто A.A. см. Гуров B.C.
Шалыто A.A. см. Шопырин Д.Г.
Шемякова Е.С., Винклер Ф. Препятствия к факторизации дифференциальных операторов с частными производными на несколько множителей №2, 17-25 (67-73)
Шопырин Д.Г., Шалыто A.A. Графическая нотация наследования автоматных классов № 5, 62-74 (283-292)
К юбилею Льва Николаевича Королева №1,
3-4 (1)
Авторский указатель статей, опубликованных в журнале в 2006 году № 1, 79-80
ПРОГРАММИРОВАНИЕ №1 2008
Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.