SPARK-Ada в области формального моделирования и проектирования-Семинар AdaCore GAP 21 июня 2022 г.

SPARK/Ada в области формального моделирования и проектирования программных систем (Семинар AdaCore GAP 21 июня 2022 г.) В этом докладе мы рассмотрим наш опыт преподавания SPARK/Ada для моделирования и проектирования программных систем на программах бакалавриата в Университете Саутгемптона. В частности, мы фокусируемся на связи между проектированием на уровне системы с использованием формального метода Event-B и верификацией на уровне программного обеспечения с использованием SPARK для разработки надежных систем. Наконец, мы обсуждаем нашу текущую работу по созданию автоматического переводчика с Event-B на SPARK. с доктором Сон Хоангом, Университет Саутгемптона, Великобритания