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

Содержание

Номер 5, 2020

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

НЕКОТОРЫЕ АСПЕКТЫ ПОСТРОЕНИЯ АССОЦИАТИВНОЙ ПАМЯТИ НА НЕЙРОННОЙ СЕТИ ХОПФИЛДА
Ю. Л. Карпов, Л. Е. Карпов, Ю. Г. Сметанин

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

3-10

СХЕМЫ ОРГАНИЗАЦИИ “ЖИВОЙ” МИГРАЦИИ В ЦЕНТРАХ ОБРАБОТКИ ДАННЫХ
В. А. Костенко, А. А. Чупахин

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

11-15

ПОДХОДЫ К РАЗРАБОТКЕ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА
В. Н. Лукин, А. Л. Дзюбенко, Ю. Б. Чечиков

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

16-24

РАЗРАБОТКА КОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ ЭНЕРГОСБЕРЕЖЕНИЯ УМНЫХ ЗДАНИЙ С ПРИМЕНЕНИЕМ КОМПЬЮТЕРНОЙ АЛГЕБРЫ
Е. Ю. Щетинин

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

25-32

NOBRAINER: ИНСТРУМЕНТ ПРЕОБРАЗОВАНИЯ C/C++ КОДА НА ОСНОВЕ ПРИМЕРОВ
В. В. Савченко, К. С. Сорокин, И. Е. Бронштейн, А. С. Волков, В. В. Качанов, Г. А. Панкратенко, М. К. Ермаков, С. И. Марков, А. В. Спиридонов, И. В. Александров

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

33-46

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

БИБЛИОТЕКА ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ЯЗЫКА C++
М. М. Краснов

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

47-59

БАЗЫ ДАННЫХ, ХРАНИЛИЩА ДАННЫХ

РЕПЛИКАЦИЯ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ: МОДЕЛИ, МЕТОДЫ И ПРОТОКОЛЫ
А. Р. Насибуллин, Б. А. Новиков

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

60-71

ПОПРАВКА

Некоторые недостатки входного синтаксиса KeYmaera
Т. Баар

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

72-72

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

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