2024-06-20 Ada and SPARK for Academics Workshop 1 часть
Запись в двух частях. Часть 1. Оригинальная запись вебинара Ada and SPARK for Academics Workshop англ. яз. Академическая программа GNAT (GAP) объединяет преподавателей Ada и SPARK по всему миру и предоставляет участникам возможность обмениваться знаниями и ресурсами. Членство в GAP включает доступ к всемирному сообществу академических специалистов, а также к богатству знаний, инструментов и ресурсов, призванных предоставить преподавателям все необходимое для преподавания Ada и SPARK. Кроме того, все участники получают прямую профессиональную поддержку, включая помощь в использовании инструментов Ada/SPARK, предложения по обходным решениям в случае возникновения проблем и помощь в понимании Ada 2022, 2012, 2005, 95 и SPARK. Членство открыто для преподавателей, а также аспирантов, использующих технологии Ada или SPARK в контексте магистерской или докторской диссертации. AdaCore предоставляет участникам пакет GAP бесплатно. Наш вебинар 2024 года посвящен реальным проектам, в которых Ada используется для решения реальных проблем, включая: Автономный робот-сапер Простой загрузчик для STM32F7 Простой стек RINA (рекурсивная межсетевая архитектура). Собственный механизм машинного обучения Простая реализация Flexbox Простая реализация протокола Min Ознакомиться с интересными проектами Capstone от студенческих команд старших курсов в Сенегале (Кер Тиоссане), Канаде (Университет Оттавы) и США (Пенсильванский государственный университет), а также ознакомиться с последними обновлениями для ученых в экосистеме Ada & SPARK. Ресурсы обсуждаемые на вебинаре: https://www.adacore.com/academia https://www.youtube.com/@AdaCore05 https://github.com/GNAT-Academic-Program/stm32_hal https://github.com/AdaCore/gnatstudio/releases https://github.com/samleo312/AdaCoreMLEngine https://github.com/sewalters/embedded_flexbox
Запись в двух частях. Часть 1. Оригинальная запись вебинара Ada and SPARK for Academics Workshop англ. яз. Академическая программа GNAT (GAP) объединяет преподавателей Ada и SPARK по всему миру и предоставляет участникам возможность обмениваться знаниями и ресурсами. Членство в GAP включает доступ к всемирному сообществу академических специалистов, а также к богатству знаний, инструментов и ресурсов, призванных предоставить преподавателям все необходимое для преподавания Ada и SPARK. Кроме того, все участники получают прямую профессиональную поддержку, включая помощь в использовании инструментов Ada/SPARK, предложения по обходным решениям в случае возникновения проблем и помощь в понимании Ada 2022, 2012, 2005, 95 и SPARK. Членство открыто для преподавателей, а также аспирантов, использующих технологии Ada или SPARK в контексте магистерской или докторской диссертации. AdaCore предоставляет участникам пакет GAP бесплатно. Наш вебинар 2024 года посвящен реальным проектам, в которых Ada используется для решения реальных проблем, включая: Автономный робот-сапер Простой загрузчик для STM32F7 Простой стек RINA (рекурсивная межсетевая архитектура). Собственный механизм машинного обучения Простая реализация Flexbox Простая реализация протокола Min Ознакомиться с интересными проектами Capstone от студенческих команд старших курсов в Сенегале (Кер Тиоссане), Канаде (Университет Оттавы) и США (Пенсильванский государственный университет), а также ознакомиться с последними обновлениями для ученых в экосистеме Ada & SPARK. Ресурсы обсуждаемые на вебинаре: https://www.adacore.com/academia https://www.youtube.com/@AdaCore05 https://github.com/GNAT-Academic-Program/stm32_hal https://github.com/AdaCore/gnatstudio/releases https://github.com/samleo312/AdaCoreMLEngine https://github.com/sewalters/embedded_flexbox