Журналы
Разделы книг
Статьи по ключевому слову Аппликативные вычислительные системы
Предметно-ориентированные системы типов в формализме Чёрча и Карри

Л.Ю. Исмаилова1, С.В. Косиков2

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

2 НАО «ЮрИнфоР» (Москва, Россия)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

Разработка информационных и интеллектуальных систем на основе аппликативных и семантических технологий

В.В. Рословцев1

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 vvroslovtsev@mephi.ru

Модель и архитектура среды конструирования процессов на основе семантических технологий с поддержкой трассировки и использованием модели эволюции объектов

В.В. Рословцев¹, Д.Р.Максимов², Е.Е. Балашова³, Ф.С.Черваков⁴, К.Г. Беляков⁵, Д.Н. Гущин⁶, С.И. Валиуллина⁷, Е.Д. Калинкин⁸, Р.Н. Кузьмин⁹, А.Ш. Сироджев¹⁰, А.В. Фатеев¹¹

¹⁻¹¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹vvroslovtsev@mephi.ru

Аппликативные средства конструирования и реализации вычислений в распределенной среде на основе предметноориентированного языка

В.В. Рословцев¹, Д.Р.Максимов², Е.Е. Балашова³, Ф.С.Черваков⁴, К.Г. Беляков⁵, Д.Н. Гущин⁶, С.И. Валиуллина⁷, Е.Д. Калинкин⁸, Р.Н. Кузьмин⁹, А.Ш. Сироджев¹⁰, А.В. Фатеев¹¹

¹⁻¹¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹vvroslovtsev@mephi.ru

Поддержка полиморфизма и объектно-ориентированных аспектов в системе абстрактных спецификаций программ

П.А. Шапкин¹, К.А. Легкодух², Е.Д. Гайдук³

¹⁻³Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹pavel@shapkin.link