Предложен подход к генерации термов по высокоуровневым спецификациям алгоритмов. Генерация выполняется в рамках совместного использования системы символьных вычислений и алгеброалгоритмического инструментария проектирования ...
Проанализированы основные функции рекомендующих систем и критерии их классификации. Предложены методы выработки рекомендаций на основе онтологической модели знаний о пользователях и ресурсах и ее использование в семантической ...
Запропоновані формальні моделі програмних систем (ПС) і їх сімейств (СПС) для їх використання у розподіленому середовищі. Їх проектування починається з об'єктної моделі предметної області (ПрО) і закінчується побудовою ...
Розглядаються проблеми побудови сервіс-орієнтованих Веб-додатків реального часу. Зокрема для прогнозування часу виконання високонавантажених додатків, за умови стаціонарності навантаження, пропонується використовувати ...
Рассмотрены данные, специфицируемые в композиционных схемах алгоритмов. Показан их состав, структура, свойства и возможность контроля корректности их описания.