Опубликован 4-ый в 2019 году номер международного научного журнала "Программные продукты и системы", издаваемого в НИИ "Центрпрограммсистем"

В этом номере журнала опубликованы результаты исследований, посвященные методам трансляции первопорядковых логических формул в позитивно-образованные формулы. Рассмотрены вопросы визуализации земной поверхности в имитационных системах.

Описаны особенности гиперконвергентных инфраструктур, а также специфика применения предметно-ориентированных языков для тестирования веб-приложений.

Представлен метод обнаружения веб-роботов на основе анализа графа пользовательского поведения и затронуты многие другие актуальные темы.

С полным содержанием свежего выпуска, а также с его англоязычной версией можно ознакомиться на официальном сайте журнала "Программные продукты и системы".