№5 за 2025 г.
- Многоплатформенная библиотека для построения пользовательских интерфейсов на основе функциональных потоков С. 7-14
- Система типов для статически типизированного функционального конкатенативного стекового языка программирования с поддержкой функций первого класса С. 15-25
- Опыт систематического конструирования объектов для представления базовых математических концепций в комбинаторной логике С. 26-40
- Повышение эффективности потоковой обработки данных в интеллектуальной образовательной системе С. 41-54
- Реализация арифметики с плавающей точкой с регулируемой длиной мантиссы в системе HomeLisp С. 55-60
- Интеграция концептуальных средств описания предметной области и статистического анализа С. 61-66
- Модель и архитектура среды конструирования процессов на основе семантических технологий с поддержкой трассировки и использованием модели эволюции объектов С. 67-77
- Аппликативные средства конструирования и реализации вычислений в распределенной среде на основе предметноориентированного языка С. 78-85
- Поддержка полиморфизма и объектно-ориентированных аспектов в системе абстрактных спецификаций программ С. 86-94
- Аппликативный язык конструирования стратегий редукций С. 95-101
- Разработка системы конфигурирования обучающего контента на основе аппликативных вычислительных технологий С. 102-109
- ИТ-кризисология: методология для устойчивого развития сложных социотехнических систем С. 110-118