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

Содержание

Номер 5, 2020

 

ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ
НЕКОТОРЫЕ АСПЕКТЫ ПОСТРОЕНИЯ АССОЦИАТИВНОЙ ПАМЯТИ НА НЕЙРОННОЙ СЕТИ ХОПФИЛДА
Ю. Л. Карпов, Л. Е. Карпов, Ю. Г. Сметанин
3-10
СХЕМЫ ОРГАНИЗАЦИИ “ЖИВОЙ” МИГРАЦИИ В ЦЕНТРАХ ОБРАБОТКИ ДАННЫХ
В. А. Костенко, А. А. Чупахин
11-15
ПОДХОДЫ К РАЗРАБОТКЕ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА
В. Н. Лукин, А. Л. Дзюбенко, Ю. Б. Чечиков
16-24
РАЗРАБОТКА КОМПЬЮТЕРНЫХ ТЕХНОЛОГИЙ ЭНЕРГОСБЕРЕЖЕНИЯ УМНЫХ ЗДАНИЙ С ПРИМЕНЕНИЕМ КОМПЬЮТЕРНОЙ АЛГЕБРЫ
Е. Ю. Щетинин
25-32
NOBRAINER: ИНСТРУМЕНТ ПРЕОБРАЗОВАНИЯ C/C++ КОДА НА ОСНОВЕ ПРИМЕРОВ
В. В. Савченко, К. С. Сорокин, И. Е. Бронштейн, А. С. Волков, В. В. Качанов, Г. А. Панкратенко, М. К. Ермаков, С. И. Марков, А. В. Спиридонов, И. В. Александров
33-46
ЯЗЫКИ, КОМПИЛЯТОРЫ И СИСТЕМЫ ПРОГРАММИРОВАНИЯ
БИБЛИОТЕКА ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ ДЛЯ ЯЗЫКА C++
М. М. Краснов
47-59
БАЗЫ ДАННЫХ, ХРАНИЛИЩА ДАННЫХ
РЕПЛИКАЦИЯ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ: МОДЕЛИ, МЕТОДЫ И ПРОТОКОЛЫ
А. Р. Насибуллин, Б. А. Новиков
60-71
ПОПРАВКА
Некоторые недостатки входного синтаксиса KeYmaera
Т. Баар
72-72

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

  • Всего статей
    8
  • Страницы
    3-72

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