№5 за 2024 г.
СПОСОБЫ ОЦЕНКИ ЭФФЕКТИВНОСТИ ФУНКЦИОНИРОВАНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ
- Расширение метода TOPSIS для поддержки принятия решений в ГИС на основе элементов теории категорий С. 6-13
- Учет взаимного доверия при выборе поставщика в рамках цифровой трансформации социотехнических систем С. 14-22
- Кризис цифровизации и объектное моделирование: подходы к разработке конструктивно устойчивых программных систем С. 23-30
ПРИНЦИПЫ ПОСТРОЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ РАЗЛИЧНОГО НАЗНАЧЕНИЯ
- Обзор и сравнительный анализ методов конструирования термов в комбинаторной логике С. 31-38
- Предметно-ориентированные системы типов в формализме Чёрча и Карри С. 39-45
- Теоретико-категорная модель процессов пошагового детерминированного взаимодействия объекта с окружением С. 46-55
- Разработка информационных и интеллектуальных систем на основе аппликативных и семантических технологий С. 56-68
- Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов С. 69-79
- Система поиска специфицированных программных компонентов на естественном языке С. 80-87
