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

Содержание

Номер 4, 2022
ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ
ПРОГНОЗИРОВАНИЕ СТЕПЕНИ ПОРАЖЕНИЯ ЛЕГКИХ ПРИ COVID-19 НА ОСНОВЕ МЕТОДОВ МАШИННОГО ОБУЧЕНИЯ
Ю. А. Васильев, М. И. Петровский, И. В. Машечкин, Л. Л. Панкратьева
3-16
АНАЛИЗ СТРУКТУРНОГО ПОКРЫТИЯ ТОЧЕК ВХОДА И ВЫХОДА, НЕОБХОДИМЫЙ ДЛЯ ДОСТИЖЕНИЯ ЦЕЛЕЙ, ОПРЕДЕЛЕННЫХ В DO-178C
В. П. Козырев
17-26
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
КОНТРОЛЬ ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ БАЗ ДАННЫХ НА ОСНОВЕ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ
А. А. Тимаков
27-49
КОМПЬЮТЕРНАЯ АЛГЕБРА
АЛГОРИТМ ВЫЧИСЛЕНИЯ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ДВУМЕРНОГО РАЗНОСТНОГО УРАВНЕНИЯ С НАЧАЛЬНЫМИ ДАННЫМИ, ЗАДАННЫМИ В “ПОЛОСЕ”
М. С. Апанович, А. П. Ляпин, К. В. Шадрин
50-56
РАЗЛОЖЕНИЕ ЗАМКНУТОЙ КВАНТОВОЙ СИСТЕМЫ НА ПОДСИСТЕМЫ В КОНЕЧНОЙ КВАНТОВОЙ МЕХАНИКЕ
В. В. Корняк
57-64

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

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

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