Программирование (РАН) №5 2016 (458,50 руб.)

Стр.1

Стр.2

СОДЕРЖАНИЕ Номер 5, 2016 ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ Анализ регионов для дедуктивной верификации Си-программ М.У. Мандрыкин, А.В. Хорошилов ИНФОРМАЦИОННЫЙ ПОИСК Обзор методов извлечения информации из веб-ресурсов М.И. Варламов, Д.Ю. Турдаков ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри Л.В. Дворянский, И.А. Ломазова БАЗЫ ДАННЫХ, ХРАНИЛИЩА ДАННЫХ Синхронное инкрементальное обновление материализованных представлений для PostgreSQL Нгуен Чан Куок Винь 49 _________________________________________________________________________________ 3 _________________________________________________________________________________ 30 _________________________________________________________________________________ 68 _________________________________________________________________________________

Стр.1

CONTENTS № 5, 2016 SOFTWARE ENGINEERING, TESTING AND VERIFICATION PROGRAM Region Analysis for Deductive Verification of C Programs M. U. Mandrykin and A. V. Khoroshilov INFORMATION SEARCH A Survey of Methods for the Extraction of Information from Web Resources M.I. Varlamov, D.Yu. Turdakov PROGRAMMING TECHNOLOGIES Automatic Construction of Systems of Distributed Components from Nested Petri Nets Models L. W. Dworzanski and I. A. Lomazova DATABASE, DATA WAREHOUSE Synchronous Incremental Update of Materialized Views for PostgreSQL Nguyen Tran Quoc Vinh 49 _________________________________________________________________________________ 3 _________________________________________________________________________________ 30 _________________________________________________________________________________ 68 _________________________________________________________________________________ _____________________________________________________________________ Подписано к печати 03.10.2016 Печать цифровая Усл.печ.л. 10,0 Тираж 140 экз. Дата выхода в свет 24.10.2016 Цена свободная Усл.кр.-отт. 1,4 тыс. Уч.-изд.л. 10,0 Зак. 655 Формат 60 x 88 ⅛ Бум.л. 5,0 _________________________________________________________________________________________________ Учредитель: Российская академия наук _________________________________________________________________________________________________________________________ Издатель: ФГУП «Издательство «Наука», 117997 Москва, Профсоюзная ул., 90 Отпечатано во ФГУП «Издательство «Наука» (Типография «Наука») 121099 Москва, Шубинский пер., 6

Стр.2