Статья

Кореньков Ю.Д. (науч. рук. Дергачев А.М.) Итеративное преобразование семантических моделей программ
УДК тезиса: 004.4'414

В данной работе представлен подход к применению инкрементальных модельных преобразований над семантическими моделями программ для выполнения предметно-ориентированных верификаций. Рассматриваются способы реализации преобразований над моделями, показывается способ их выполнения над семантическими моделями программ для проверки корректности последних относительно правил предметной области, диктующих ограничения на структуру программы или отношения между её частями.

Авторы:

Кореньков Юрий Дмитриевич

Руководитель:

Дергачев Андрей Михайлович

Кореньков Ю.Д. (науч. рук. Дергачев А.М.) Итеративное преобразование семантических моделей программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4180