ТРУДЫ ИНСТИТУТА СИСТЕМНОГО ПРОГРАММИРОВАНИЯ РАН

Труды ИСП РАН – это издание с двойной анонимной системой рецензирования, публикующее научные статьи, которые относятся ко всем областях системного программирования, технологий программирования и вычислительной техники Целью издания является формирование научно-информационной среды в этих областях путем публикации высококачественных статей в открытом доступе. Издание предназначено для исследователей, студентов и аспирантов, а также практиков Оно охватывает широкий спектр тем, включая, в частности, следующие: • операционные системы; • компиляторные технологии; • базы данных и информационные системы; • параллельные и распределенные системы; • автоматизированная разработка программ; • верификация, валидация и тестирование; • статический и динамический анализ; • защита и обеспечение безопасности ПО; • компьютерные алгоритмы; • искусственный интеллект. Журнал издается по одному тому в год, по шесть выпусков (номеров) в каждом томе. Поддерживается открытый доступ к содержанию издания, что обеспечивает доступность результатов исследований для общественности и поддерживая глобальный обмен знаниями.