Программирование

Содержание

Номер 4, 2020

ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА

ТЕСТОВЫЕ ЭКВИВАЛЕНТНОСТИ ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ
Е. Н. Боженкова, И. Б. Вирбицкайте

Информация о статьеПолный текст (PDF)

3-13

ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ

ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ REFLEX-ПРОГРАММ
И. С. Ануреев, Н. О. Гаранина, Т. В. Лях, А. С. Розов, В. Е. Зюбин, С. П. Горлач

Информация о статьеПолный текст (PDF)

14-26

ИСПОЛЬЗОВАНИЕ СИСТЕМЫ РАЗНОРОДНЫХ ПАТТЕРНОВ ОНТОЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ ДЛЯ РАЗРАБОТКИ ОНТОЛОГИЙ НАУЧНЫХ ПРЕДМЕТНЫХ ОБЛАСТЕЙ
Ю. А. Загорулько, О. И. Боровикова

Информация о статьеПолный текст (PDF)

27-35

НЕКОТОРЫЕ НЕДОСТАТКИ ВХОДНОГО СИНТАКСИСА KeYmaera
Т. Баар

Информация о статьеПолный текст (PDF)

36-45

ЯЗЫКИ, КОМПИЛЯТОРЫ И СИСТЕМЫ ПРОГРАММИРОВАНИЯ

СРЕДСТВА ДИНАМИЧЕСКОГО АНАЛИЗА ПРОГРАММ В КОМПИЛЯТОРАХ GCC И CLANG
Н. И. Вьюкова, В. А. Галатенко, С. В. Самборский

Информация о статьеПолный текст (PDF)

46-64

КОМПЬЮТЕРНАЯ ГРАФИКА И ВИЗУАЛИЗАЦИЯ

ИССЛЕДОВАНИЕ ТЕХНОЛОГИИ Nvidia RTX
В. В. Санжаров, В. А. Фролов, В. А. Галактионов

Информация о статьеПолный текст (PDF)

65-72

Информация о выпуске

Программирование