Заглавие журнала :Программная инженерия -2022г. т.13,N 4 Интересные статьи : Шелехов В. И. Автоматное программирование на базе системы моделирования и верификации Event-B/ В. И. Шелехов (стр.155-167) Кл.слова: уточнение,требования,трансформации программ Годунов А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет/ А. Н. Годунов, И. И. Хоменков, В. Г. Щепков (стр.168-177) Кл.слова: тестирование,автоматизация программирования,языки программирования Евгенев Г. Б. Российская технология индустрии 5.0 Метаонтология/ Г. Б. Евгенев (стр.178-186) Кл.слова: производства цифровые,системы интегрированные,системы интеллектуальные Гайдамака К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний/ К. И. Гайдамака, А. Д. Белоногова (стр.187-199) Кл.слова: кластеризация,управление требованиями,инженерия требований Федотов И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра/ И. А. Федотов, А. С. Хританков, М. Д. Обидаре (стр.200-208) Кл.слова: консенсус,блокчейн,проверка моделей статистическая Интересные статьи : Доп.точки доступа: Шелехов, В. И. Годунов, А. Н. Евгенев, Г. Б. Гайдамака, К. И. Федотов, И. А. Хоменков, И. И. Белоногова, А. Д. Хританков, А. С. Щепков, В. Г. Обидаре, М. Д.