Дата публикации: 2020

Дата публикации в реестре: 2021-03-09T16:27:23Z

Аннотация:

Работа посвящена созданию инструмента автоматизированной разработки программ на основе формальных моделей. Для этого было изучена теория автоматного программирования(switch- технология) и проведен обзор инструментальных средств на основе их. Также был разработан алгоритм преобразования автомата в шаблон программного кода и проведен эксперимент.

Тип: статьи в сборниках

Источник: Труды семнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, г. Томск, 11–15 мая 2020 г.. Томск, 2020. С. 151-154