Заглавие журнала :Программная инженерия -2021г. т.12,N 3 Интересные статьи : Грибова В. В. Разработка решателей задач на основе управляющих графов для систем с базами знаний/ В. В. Грибова, В. А. Тимчено, Е. А. Шалфеева (стр.115-126) Кл.слова: инженерия программная,методология разработки программ,операции над информацией Шелехов В. И. Методы трансформации и дедуктивной верификации программы инвертирования списков/ В. И. Шелехов (стр.127-139) Кл.слова: программирование функциональное,алгебраический тип данных,список односвязный Паринов С. И. Тематическое моделирование контекстов цитирований из научных публикаций: структура научного потребления автора/ С. И. Паринов (стр.140-149) Кл.слова: проект Сиртек,топики,анализ наукометрический Галатенко А. В. Об одной модели безопасного функционирования компьютерных систем/ А. В. Галатенко (стр.150-156) Кл.слова: автоматы конечные,языки регулярные,эксперименты кратные условные Костенко К. И. Инварианты ядра фундаментальной модели интеллектуальной системы/ К. И. Костенко (стр.157-168) Кл.слова: формализм знаний,онтология,цель когнитивная Интересные статьи : Доп.точки доступа: Грибова, В. В. Шелехов, В. И. Паринов, С. И. Галатенко, А. В. Костенко, К. И. Тимчено, В. А. Шалфеева, Е. А.