Том 24, № 6 (2017)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF

Содержание

Редакционные статьи

От редактора специального выпуска PDF (Rus)
В. А. Захаров 675-676

Оригинальные статьи

Семантически-ориентированная миграция Java-программ: опыт практического применения PDF (Rus)
Артем Олегович Алексюк, Владимир Михайлович Ицыксон 677-690
К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций PDF (Eng)
Томас Баар 691-703
Прототип статического тайп-чекера для языка программирования Jolie PDF (Eng)
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков 704-717
К критериям оценки безопасности нулевых ссылок при инициализации объекта PDF (Eng)
Александр Валентинович Когтенков 718-729
К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов PDF (Rus)
Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев 730-742
Элиминация инвариантов финитных итераций над массивами при верификации Си программ PDF (Eng)
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев 743-745
Семантические средства обеспечения безопасности в программно-конфигурируемых сетях PDF (Rus)
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый 755-759
Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин 760-771
Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов 772-787
Задача о кратчайшем пути в кратном графе PDF (Rus)
Александр Валерьевич Смирнов 788-801
Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации PDF (Rus)
Дмитрий Александрович Макаров 802-810
Поэтология: задачи построения тезауруса и спецификации стихового текста PDF (Rus)
Владимир Николаевич Бойков, Мария Сергеевна Каряева 811-815


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)