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

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

Язык статьи
Русский
Аннотация
В Институте систем информатики СО РАН с 2021 года выполняется проект «Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований» коллективом сотрудников лабораторий «Конструирования и оптимизации программ» и «Системное программирование» под научным руководством д.ф.-м.н., профессора В. Н. Касьянова. Ответственными исполнителями проекта являются к.ф.-м.н., доцент Е. В. Касьянова и к.т.н. В. И. Шелехов. В данной статье кратко представлены те результаты выполнения первого этапа данного проекта, которые были получены сотрудниками лаборатории «Конструирования и оптимизации программ».
DOI
10.31144/si.2307-6410.2021.n19.p1-14
УДК
Страницы
1-14
Файл
Номер