Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.kyiv.dcomm.net.ua is one of the many independent Mastodon servers you can use to participate in the fediverse.
Київський інстанс є частиною https://dcomm.net.ua. Українські локальні інстанси Mastodon були розгорнуті в 9 українських містах у серпні-вересні 2022 року

Administered by:

Server stats:

110
active users

social.kyiv.dcomm.net.ua: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#spark

2 posts2 participants0 posts today
Public
Макс 🇺🇦

Серед доступних відеозаписів презентацій AdaCore GAP Workshop 2023:

* Асертивне програмування з використанням SPARK
* Проектування та реалізація мережевого вбудованого осцилографа
* Паралельне програмування в реальному часі
* SPARK/Ada для високоінтегрованого космічного програмного забезпечення
* Оновлення технологій AdaCore для академії
* Оновлення спільноти Ada та менеджера пакетів Alire.

youtube.com/playlist?list=PLko
-lang

YouTubeAdaCore GAP Workshop, June 21, 2023By AdaCore
Public
Макс 🇺🇦

21 червня відбувся семінар AdaCore GAP Workshop. Ця подія була організована для обміну інформацією між учасниками GNAT Academic Program (GAP) про успішні методи навчання, дослідницькі проекти, включаючи проекти студентів. Інженери AdaCore також представили оновлення щодо Ada, SPARK, пов'язаних ресурсів та наших спільних зусиль.

youtube.com/playlist?list=PLko

-lang

YouTubeAdaCore GAP Workshop, June 21, 2023By AdaCore
ExploreLive feeds
About