Список программного обеспечения и инструментов ADA ⇐ Васина Википедия

[wiki_en]

Это список программного обеспечения и инструментов программирования для ADA (язык программирования) | Язык программирования ADA, включая интегрированную среду разработки | IDE, компиляторы, библиотеку (вычисления) | Библиотеки, инструменты проверки и отладки, список численных библиотек | Численные и научные компьютерные библиотеки, а также соответствующие проекты.

== Компиляторы ==
* GNAT - Коллекция компилятора GNU | Компилятор и инструмент gcc ADA, поддерживаемый Adacore https://www.adacore.com/gnat
* Adacore Gnat Pro-Коммерческий компилятор ADA с расширенным инструментом для систем с высокой интеграцией и в реальном времени * Программное обеспечение Green Hills#Компиляторы | Компилятор Green Hills для ADA-ADA Компилятор для встроенных и критических систем https://www.ghs.com/products/ada_optimi ... ilers.html
*: wikibooks: ADA Программирование/библиотеки/Standard/ObjectAda | ObjectAda-среда разработки ADA для безопасности и встраиваемых систем безопасности https://www.ptc.com/en/products/develop ... /objectada

== Интегрированные среды разработки (IDE) и редакторы ==
* GNAT Studio - IDE, разработанный Adacore https://www.adacore.com/gnatpro/toolsuite/gps
* EMACS - Поддерживает редактирование ADA с помощью EMACS Speaking Статистика | Режим ADA и проверка синтаксиса
* Eclipse - поддерживает ADA через плагин Gnatbench https://www.adacore.com/gnatbench
* Visual Studio Code - поддержка ADA через расширения языкового сервера ADA
== Библиотеки и рамки ==
: '' Смотрите также: '' : Wikibooks: ADA программирование /библиотеки | Библиотеки ADA на Wikibooks
*: Wikibooks: ADA Programming/Library/Ada.calendar | Ada.calendar - Дата и библиотека времени
*: Wikibooks: ADA Программирование/библиотеки/Web/AWS | ADA Web Services (AWS) - Поддержка для репрезентативного трансфера состояния | RESTFUL и SOAP WEB Сервисы https://docs.adacore.com/live/wave/aws/ ... _soap.html https://github.com/adacore/aws
*: Wikibooks: ADA Programming/Library/ADA.Text_io | ADA.Text_io - Стандартная библиотека для текста ввода/вывод
* Wikibooks: ADA Programming/Platform/Posix | Florist (Posix ADA Binding)-реализация с открытым исходным кодом привязки POSIX ADA
*: Wikibooks: ADA Программирование/библиотеки/GNAT | GNAT - ADA Compiler Part of GNU Compiler Collection | GCC, который также обеспечивает обширное время выполнения и библиотеки иерархия * Wikibooks: ADA Programming/Library/Gui/Gtkada | Gtkada - ADA -привязки для GTK | GTK+ графический интерфейс пользователя Toolkit
* Wikibooks: ADA Programming/Library/Multoprope/Matreshka | Matreshka - Многоцелевая структура ADA, поддерживающая Unicode, XML, JSON и многое другое.
* Wikibooks: ADA Programming/Library/IO/XML/ADA | XML/ADA - XML ​​и библиотека обработки Unicode

== в реальном времени и встроенных системах ==
*: Wikibooks: ADA Программирование /задания | ADA Задача-встроенная поддержка параллелизма с помощью задач, защищенных объектов и рандеву.
*: Wikibooks: ADA Programming/Library/ADA.Real_Time | ADA.Real_Time-часы, задержки и планирование в реальном времени.
* Arinc 653 Профили ADA-для приложений Avionics в реальном времени
* OpenMP ADA Bindings-Параллельное программирование для многоядерных встроенных систем * Профиль Ravenscar-подмножество задач ADA для режима и детерминированного исполнения
== Численные и научные вычисления ==
*: Wikibooks: ADA Программирование/библиотеки/ADA.Numerics | ADA.Numerics - Библиотеки для численных методов, линейной алгебры и математических функций.
* Spark Math Libraries-Формальные methods-совместимые численные процедуры
== Проверка, отладка и анализ ==
* GnatProve-Формальная проверка и инструмент статического анализа для ADA и Spark https://docs.adacore.com/spark2014-docs ... prove.html
* GnatStack - Анализ и проверка стека выполнения https://www.adacore.com/gnatpro/toolsuite/gnatstack
* GnatCoverage - Измерение покрытия кода для проектов ADA * Adacontrol - Проверка стиля и метрики для ADA https://www.adalog.fr/en/adacontrol.html

== Тестирование структуры ==
* AUUNIT-Структура модульного тестирования для ADA https://www.adacore.com/documentation/aunit-cookbook
* GNATTEST-Автоматизированная структура тестирования для ADA https://www.adacore.com/dynamic-analysis/gnattest

== Документация и генерация кода ==
* GNATDOC - генерирует документацию HTML из исходного кода ADA https://www.adacore.com/gnatdoc https://github.com/adacore/gnatdoc

== См. Также ==
* Программное обеспечение с высокой интеграцией
* Списки инструментов разработки программного обеспечения программного обеспечения | Списки инструментов разработки программного обеспечения по языку
* Spark (язык программирования) - Формальная семантика языков программирования | Формально определенный язык компьютерного программирования на основе ADA (язык программирования) | ADA Language
*: Wikibooks: ADA программирование | Wikibooks ADA Programming

* [https://www.adacore.com/ Adacore - Gnat, Spark и другие инструменты ADA]
* [https://www.adaic.org/ ADA Информационная информация]
* [https://github.com/ohenley/awesome-ada Awesome-ada]-Список программного обеспечения и инструментов ADA

* [https://www.adaic.org/ada-resources/tools-libraries/ бесплатные и открытые инструменты ADA]
* [https://www.gnu.org/software/gnat/ gnat/gcc ADA Compiler]

* https://www.adacore.com/gnat
* https://libre.adacore.com/tools/

ADA (язык программирования)
Инструменты программирования
Разработка программного обеспечения

Подробнее: [url]https://en.wikipedia.org/wiki/List_of_Ada_software_and_tools[/url]