ПРОГРАММИРОВАНИЕ, 2010, № 1, с. 79-80
АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В ЖУРНАЛЕ В 2009 ГОДУ
Абрамов С.А., Боголюбская A.A., Ростовцев В.А., Еднерал В.Ф. Семинар по компьютерной алгебре в 2007-2008 гг. № 2, 3-9 (57-62)1
Аветисян А.И., Гайсарян С.С., Бабкова В.В.
Итеративная разработка параллельных программ в среде ParJava N- 4,
56-72 (223-234)
Аветисян А.И. см. Иванников В.П.
Акопян М.С. см. Иванников В.П.
Ануреев И.С. Операционно-онтологический подход к формальной спецификации языков программирования N- 1, 50-60 (35-42)
Ачасова С.М. Программа-конструктор клеточных самовоспроизводящихся структур № 4, 15-23 (190-197)
Бабкова В.В. см. Аветисян А.И.
Боголюбская A.A. см. Абрамов С.А.
Босов A.B. Моделирование и оптимизация процессов функционирования информационного Web-портала № 6, 53-66 (340-350)
Бурдонов И.Б., Косачев A.C. Системы с приоритетами: конформность, тестирование, композиция № 4, 24-40 (198-212)
Бурдонов И.Б., Косачев A.C. Полное тестирование с открытым состоянием ограниченно недетерминированных систем №6, 3-18 (301-313)
Валиев М.К., Дехтярь М.И., Диковский А.Я.
Системы агентов, управляемых логическими программами: сложность верификации № 5, 37-56 (266-281)
'В скобках указаны номера страниц в издании журнала на английском языке.
Васильева Н.С. Методы поиска изображений по содержанию № 3, 51-80 (158-180)
Васильев H.H., Павлов Д.А. Перечисление конечных мономиальных упорядочений и комбинаторика универсальных базисов Гребнера №2, 28-42 (79-89)
Ватолин Д.С., Гришин C.B. Двукратное увеличение частоты кадров видео на основе двунаправленной компенсации движения № 6, 67-80 (351-364)
Гайсарян С.С. см. Аветисян А.И.
Гайсарян С.С. см. Иванников В.П.
Гердт В.П., Зинин М.В. О роли инволютив-ных критериев при вычислении булевых базисов Гребнера № 2, 43-52 (90-97)
Грачян Г.Г. Об основной семантике бестиповых функциональных программ N- 3,
3-21 (121-135)
Гришин C.B. см. Ватолин Д.С.
Грошев С.Г. Локализация ошибок методом построения сокращенных трасс N- 3, 35-50 (145-157)
Дехтярь М.И. см. Валиев М.К.
Диковский А.Я. см. Валиев М.К.
Долгова E.H., Чернов A.B. Автоматическое восстановление типов в задаче декомпиля-ции №2, 63-80 (105-120)
Дроздов А.Ю. Компонентный подход к построению оптимизирующих компиляторов № 5, 70-80 (291-300)
Дроздов А.Ю., Новиков C.B. Авто-распа-раллеливатель программ, реализованный на основе компонентной технологии построения оптимизирующих компиляторов N- 6, 29-52 (321-339)
80 АВТОРСКИЙ
Еднерал В.Ф. см. Абрамов С.А.
Зинин М.В. см. Гердт В.П.
Иванников В.П., Аветисян А.И., Гайса-
рян С.С., Акопян М.С. Особенности реализации интерпретатора параллельных программ в среде ParJava N- 1,10-25 (6-17)
Калиниченко Jl.А. см. Когаловский М.Р.
Кичигин Д.Ю. Метод редукции тестового набора для регрессионного интеграционного тестирования № 5, 57-69 (282-290)
Коваленко В.Н., Корягин Д.А. Базовые принципы и способы применения грида № 1, 26-49 (18-34)
Когаловский М.Р., Калиниченко J1.A.
Концептуальное и онтологическое моделирование в информационных системах № 5, 3-25 (241-256)
Корягин Д.А. см. Коваленко В.Н.
Косачев A.C. см. Бурдонов И.Б.
Краглер Р. Программа на языке Mathematica для "интегратора бедняка", реализующего идеи Риша и Нормана № 2, 10-27 (63-78)
Кудрявцев Ю.А. см. Кузнецов С.Д.
Кузнецов С.Д., Кудрявцев Ю.А. Математическая модель OLAP-кубов N- 5, 26-36 (257-265)
Кузьмин Е.В., Соколов В.А., Чалый Д.Ю.
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ № 1, 61-77 (43-56)
Кулямин В.В. Интеграция методов верификации программных систем N- 4, 41-55 (212-222)
УКАЗАТЕЛЬ
Левшин Д.В., Марков A.C. Алгоритмы интеграции СУБД PostgreSQL с семантическим веб № 3, 22-34 (136-144)
Любимский Э.З. На пути к построению общества программ N- 1, 4-9 (2)
Марков A.C. см. Левшин Д.В.
Махортов С.Д. LP-структуры на решетках типов и некоторые задачи рефакторинга № 4, 5-14 (183-189)
Мутилин B.C. Многопоточное тестирование программных интерфейсов N- 6,
19-28 (314-320)
Новиков C.B. см. Дроздов А.Ю.
Олейник П.П. Организация иерархии атомарных литеральных типов в объектной системе, построенной на основе РСУБД № 4, 73-80 (235-240)
Павлов Д.А. см. Васильев H.H.
Пургин A.B. О дистрибутивных решетках правых делителей линейных обыкновенных дифференциальных операторов N- 2,
52-62 (98-104)
Ростовцев В.А. см. Абрамов С.А.
Соколов В.А. см. Кузьмин Е.В.
Чернов A.B. см. Долгова E.H.
Чалый Д.Ю. см. Кузьмин Е.В.
Памяти Эдуарда Зиновьевича Любимского (25.11.1931-13.02.2008) № 1, 3 (1)
Памяти Михаила Романовича Шура-Бура №4, 3-4 (181-182)
Авторский указатель статей, опубликованных в журнале в 2008 году № 1, 78-80
ПРОГРАММИРОВАНИЕ №1 2010
Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.