LEARN.ADACORE.COM на русском

Что такое Ада и SPARK?

Ада — это современный язык программирования, который разработчики по всему миру используют для создания критически важных программных систем: от микроядер и небольших встроенных систем реального времени до крупномасштабных корпоративных приложений.

SPARK is formally analyzable subset of Ada — and toolset that brings mathematics-based confidence to software verification.

SPARK — это подмножество языка Ада поддающееся формальному анализу, а также набор инструментов, проверяющий корректность программы с помощью математических методов.

Попробовать Аду прямо сейчас:

with Ada.Text_IO; use Ada.Text_IO; procedure Learn is subtype Alphabet is Character range 'A' .. 'Z'; begin Put_Line ("Learning Ada from " & Alphabet'First & " to " & Alphabet'Last); end Learn;

Просмотрите интерактивные курсы и лабораторные работы, перечисленные слева, чтобы узнать больше про Аду и SPARK.

Подробнее

Курсы

Электронные книги

Загрузите содержимое всего веб-сайта в виде электронной книги для чтения в автономном режиме. Вы можете выбрать следующие форматы: PDF, EPUB и MOBI (для устройств Kindle).

PDF EPUB MOBI

Либо загрузите отдельные курсы и лабораторные работы в виде электронных книг:

PDF EPUB MOBI

PDF EPUB MOBI

Безопасное и надежное программное обеспечение

PDF EPUB MOBI

Профессиональное обучение Аде

Пройдите профессиональное обучение по Аде в Adacore.

Скачать инструментарий для Ады и SPARK

Попробуйте Аду и SPARK используя GNAT Community edition.

GNAT Community содержит компилятор языка Ада, инструменты SPARK и GNAT Studio IDE.

Professional Ada Training

Get professional Ada training from Adacore.

Experience has shown that Ada is an extremely learnable language and that programmers with basic knowledge in other languages can quickly get up to speed with Ada. For programmers who already have some Ada experience, AdaCore offers advanced courses in Ada and GNAT Pro/GNAT Studio designed to help developers get the most out of the technology.

Академическая программа GNAT

Teachers and graduate students who are interested in teaching or using Ada or SPARK can take advantage of AdaCore's GNAT Academic Program (GAP).

GAP's primary objective is to help put Ada and SPARK at the forefront of university study by building a community of academic professionals. GAP members receive a comprehensive toolset and professional support package specifically designed to provide the tools needed to teach and use Ada and SPARK in an academic setting. Best of all, AdaCore provides the GAP Package to eligible members at no cost. Register for membership today and join over 100 member universities in 35 countries currently teaching Ada and SPARK using GAP.