Серед доступних відеозаписів презентацій AdaCore GAP Workshop 2023:
* Асертивне програмування з використанням SPARK
* Проектування та реалізація мережевого вбудованого осцилографа
* Паралельне програмування в реальному часі
* SPARK/Ada для високоінтегрованого космічного програмного забезпечення
* Оновлення технологій AdaCore для академії
* Оновлення спільноти Ada та менеджера пакетів Alire.
https://www.youtube.com/playlist?list=PLkoa8uxigENlDfVnh-aXncX36crYPhsIi
#Ada #Programming #SPARK #Ада #ada-lang