Теги

Ada-83 (1)

• 05 жовтня 2025 - Ада: Мова, народжена з кризи.

Alire (1)

• 26 січня 2025 - Практичне введення в Alire

IDE (1)

• 17 лютого 2025 - Вибір середовища розробки для Ada

Ravenscar (1)

• 07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar

SPARK (2)

• 18 березня 2026 - Ніколи не використовуйте Float або Integer
• 16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK

ada-ukraine (1)

• 16 вересня 2024 - Ласкаво просимо на Ada Ukraine!

auj (1)

• 19 жовтня 2025 - Ada User Journal 2024/2 (червень)

certification (1)

• 28 червня 2026 - Сертифікація багатоядерних систем за допомогою Ada

drivers (1)

• 16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK

embedded (6)

• 28 червня 2026 - Сертифікація багатоядерних систем за допомогою Ada
• 18 березня 2026 - Ніколи не використовуйте Float або Integer
• 16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK
• 07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar
• 03 листопада 2025 - Оновлення MAVLink для Ada.
• 09 березня 2025 - Вступ до програмування вбудованих систем мовою Ada

future (1)

• 15 березня 2026 - Важливість концепції власності для досягнення безпеки памʼяті

lang (1)

• 23 травня 2026 - Розв'язання судоку за допомогою AdaSAT

multicore (1)

• 28 червня 2026 - Сертифікація багатоядерних систем за допомогою Ada

network (1)

• 07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar

podcast (1)

• 05 жовтня 2025 - Ада: Мова, народжена з кризи.

Подкаст (3)

• 09 лютого 2026 - Серія відео про можливості Ada 2022
• 19 жовтня 2025 - Ada User Journal 2024/2 (червень)
• 08 травня 2025 - Подкаст україньскою

Посібник (2)

• 09 лютого 2026 - Серія відео про можливості Ada 2022
• 08 травня 2025 - Подкаст україньскою

Початківцям (5)

• 18 березня 2026 - Ніколи не використовуйте Float або Integer
• 08 травня 2025 - Подкаст україньскою
• 09 березня 2025 - Вступ до програмування вбудованих систем мовою Ada
• 17 лютого 2025 - Вибір середовища розробки для Ada
• 26 січня 2025 - Практичне введення в Alire

компілятор (1)

• 11 липня 2026 - Розуміння "спотворення" (mangling) імен в Ada

техгичні (1)

• 11 липня 2026 - Розуміння "спотворення" (mangling) імен в Ada

історія (1)

• 05 жовтня 2025 - Ада: Мова, народжена з кризи.