Исследовательская группа

Лаборатория киберфизических систем

Автоматно-функциональная парадигма программирования реактивных систем

November 10

🗣 Максим Нейзов

📃 Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах реактивных систем.

🔗 Ссылка на встречу: https://meet.google.com/iqb-gbix-azj