Каталог ПО

 bin Компиляторы, средства разработки, среды исполнения и прочее
bin/compiler Компиляторы
gnat Этот пакет содержит компилятор Ada95 и сопутствующие ему средства разработки основанные на технологии GNU gcc.
- Gnat GPL 2007 под Windows
- WIN32 API и утилиты для Gnat GPL 2007 под Windows
- Gnat GPL 2007 под Linux
- Gnat 3.15p под Windows
- WIN32 API и утилиты для Gnat 3.15p под Windows
- Gnat 3.15p под Linux i686
3.15p-3 Gnat 3.15p RPM для RedHat 7.x
1-3 Gnat 3.15p runtime RPM
A# Этот пакет содержит компилятор Ada95 для Microsoft .NET платформы и генератор Ада спецификаций для MSIL файлов.
20060606 asharp-setup.exe
20060606 mgnat
20060606 msil2ada
bin/docgen Средства автодокументирования программ
AdaBrowse AdaBrowse это генератор HTML документации для спецификаций библиотечных модулей похожий на javadoc. Может также получать XML описания (DTD прилагается).
4.0.3 Исходные тексты
4.0.2-1 RPM for RedHat 7.x
adadoc AdaDoc - утилита создания документации по спецификациям пакетов. Доступные форматы - HTML и Latex.
2.1 Исходные тексты
. Руководство по созданию модуля
bin/test Средства тестирования программ
aunit AUnit - набор пакетов для написания тестов из семейства xUnit. Этот легкий в использовании модуль позволяет написать набор разносторонних тестов Вашей системы. Пользуясь этим модулем в процессе написания и развития системы Вы можете быстро проверить ее функциональность.
- Исходные тексты
1.01-2 RPM for RedHat 7.x
gch gch (Gnat CHecker) - утилита проверки набора правил на множестве Ада текстов. В данной версии проверяются некоторые правила из книги "Ада 95. Качество и стиль" (Ada 95 Quality and Style).
- Исходные тексты
19990519-7 RPM for RedHat 7.x
dtraq DTraq - утилита для отладки и тестирования приложений, позволяет протоколировать данные внутри Вашей программы и просматривать их, либо в режиме псевдореального времени, либо по окончанию выполнения приложения. Для этого предоставляется настраиваемая процедура Tap, сервер протоколирования и графическая утилита просмотра протоколов. Процедура Tap может быть использована в любом месте Вашей программы, с практически любым типом данных.
1.100 Исходные тексты
. Документация
0.960-1 RPM for RedHat 7.x
tg Программа tg, являясь своеобразным препроцессором, служить для тестирования ПО и позволяет компактно описывать множество тестов Вашей системы. Получаемая в результате работы tg процедура, выполняет поочередно эти тесты, контролируя резултаты вычислений и возникшие исключения.
3.1 Исходные тексты
acats Набор тестов для проверки компиляторов языка Ада на соответствие стандарту.
- Исходные тексты 1
- Исходные тексты 2
- Исходные тексты 3
- Исходные тексты 4
- Исходные тексты 5
- Исходные тексты 6
- Исходные тексты 7
- Исходные тексты 8
2_5p Дополнения
bin/app Готовые приложения
aws AWS - означает Ада веб сервер. Но это не просто еще один веб сервер. AWS - средство разработки веб-приложений. Вы можете встроить небольшой, но мощный веб сервер в Ваше приложения и получить возможность взаимодействия с ним через стандартные веб-клиенты, такие как Microsoft Internet Explorer и Netscape Communicator.
- AWS GPL 2.3
1.4-1 RPM for RedHat 7.x
1.4-1 runtime RPM
bush BUSH (Business Shell) это командный интерпретатор Linux/UNIX предназначенный для разработки надежных скриптов командного интерпретатора, которые позже могут быть скомпилированы как исполняемые программы. Он также может быть использован в качестве интерактивного командного интерпретатора пользователя (login shell) или для генерации приложений Java Virtual Machine. BUSH является надежной и читабельной альтернативой для интерпретаторов BASH, CSH, а также, в некоторых пределах, для Python и PERL.
1.0.3 Исходные тексты
0.9.3-1 RPM for RedHat 7.x
webcheck Приложение Webcheck осуществляет автоматическую проверку корректности ссылок на WEB-страничке и сообщает об ошибках в формате, который может быть использован Gnu Emacs (или другим IDE) для быстрой загрузки html-файлов нуждающихся в исправлениях. Для компиляции нужны библиотеки OpenToken и SAL.
1.01 Исходные тексты
1.00-1 RPM for RedHat 7.x
bin/devel Средства разработки.
GPS GPS - средство интерактивной разработки, поддерживает быструю навигацию по исходным текстам, файлы проектов, раскраску синтаксиса и прочее. Доступно для разных платформ. Новая версия GPS входит в состав компилятора Gnat GPL 2005.
- Исходные тексты
1.4.0-1 RPM for RedHat 7.x
tia TIA (Tiny IDE for Ada) является консольным IDE для gnat. TIA написана с использованием GPL пакета texttools.
1.1.1 Исходные тексты
1.0.1-1 RPM for RedHat 7.x
adagoop AdaGOOP (Ada Generator of Object-Oriented Parsers) - генератор объектноориентированных синтаксических анализаторов. С его помощью Вы можете легко получить анализатор строящий объектное дерево разбора.
. Исходные тексты
20020417-1 RPM for RedHat 7.x
OpenToken Пакет OpenToken позволяет легко создавать программы лексического и синтаксического анализа на языке Ада. Особенность пакета в отсутствии препроцессора подобного aflex/ayacc. Благодоря использованию наследования и перегрузки операций, входной синтаксис описывается прямо на языке Ада.
3_0_b Исходные тексты
3.0-3 RPM for RedHat 7.x
3.0-3 runtime RPM
afay Программы aflex/ayacc являются генераторами лексических и синтаксических анализаторов и представляют собой аналоги Сишных програм flex и yacc.
1.4a-10 RPM for RedHat 7.x
semtools В состав пакета входит утилита adasubst, при помощи которой вы можете легко заменить один идентификатор на другой во всех модулях вашей программы, перенести определение из одного модуля в другой, разбить один пакет на несколько, заменить идентификатор на составное имя (Put_Line на Ada.Text_IO.Put_Line). Также программа может удалить все спецификации представления (representation clauses) из данной программы.
- Исходные тексты
auto_io Auto_Text_IO является инструментом, который способен автоматически генерировать пакет текстового ввода/вывода (Text_IO) для какого-либо пакета Ады. Автоматически сгенерированный пакет текстового ввода/вывода содержит подпрограммы Get и Put, основанные на стандартном пакете Ada.Text_IO, для типов указанного пакета Ады. Подпрограммы Get и Put используют агрегаты с именованной нотацией (хотя Get не обеспечивает полную поддержку для всех возможных вариаций исходного текста Ады). Это позволяет очень легко создавать читабельные тестовые модули для пакетов Ады, и обеспечивать сохранение данных в читабельном виде. Для компиляции нужна библиотека SAL.
3.04 Исходные тексты
3.01-1 RPM for RedHat 7.x
gnatcom Утилита gnatcom позволяет программировать/использовать COM/DCOM/COM+ объекты в языке Ада.
1.4a Исходные тексты
adagide Интегрированная среда разработки под Windows 95/NT.
742 Исходный тескст
7.41.0005 Win32 binary
bin/os Среды исполнения и операционные системы
marte MaRTE OS - ядро реального времени для встраиваемых приложений реализуещее "минимальное подмножество реального времени стандарта POSIX.13". Большая часть кода на Аде, небольшие части на Си и ассемблере.
1.6. Исходные тексты
doc Документация
doc/en Англоязычная документация
doc/en/ada_letters Журнал Ada Letters
doc/en/ada_letters/apr2006 Выпуск apr2006
apr2006. Выпуск apr2006
- Информация о журнале (Newsletter Information)
- Официальная колонка (Letters from SIGAda Officials)
- Награды SIGAda за 2005
- Комерциализируя Аду. (Commercializing Ada. Robert C. Leif)
- Как Ада 2005 повлияет на изучение языка (How Ada 2005 Impacts CS1/2. Martin C. Carlisle)
- Оптимальное определение зарезервированных слов языка Ада 2005. (Optimal Table Lookup for Reserved Words in Ada. John A. Trono)
- AI 307 - Часы времени исполнения (Ada Issue 307 - Execution-Time Clocks)
- AI 321 - Определение политик планирования задач (Ada Issue 321 - Definition of Dispatching Policies)
- AI 327 - Динамические граничные приоритеты (Ada Issue 327 - Dynamic Ceiling Priorities)
- AI 333 - Дополнительные политики блокировок с FIFO_Within_Priorities (Ada Issue 333 - Additional Locking Policies with FIFO_Within_Priorities)
doc/en/ada_letters/sept2005 Выпуск sept2005
sept2005. Выпуск sept2005
- Информация о журнале (Newsletter Information)
- Официальная колонка (Letters from SIGAda Officials)
- "Оптовое" преоброзование порядка следования байт для целых записей в целях достижения независимости от архитектуры в системах коммуникаций. (Wholesale Byte Reversal of the Outermost Ada Record Object to Achieve Endian Independence for Communicated Data Types - Randal P. Andress)
- "Мертвые живут дольще". Драма. (Dead Live Longer - A Dramoletto - Christoph Grein)
- Ада и контроль надо вторжением (Ada and the Control of Intrusion - Gertrude Levine)
- Програмные компоненты повторного использования. (Reusable Software Components. Gertrude (Trudy) Levine)
- AI 00249 - Ravenscar профайл для высоконадежных систем (Ravenscar Profile for High-Integrity Systems)
- AI 00297 - События таймера (Timing events)
- AI 00298 - Равноправное планирование (Non-Preemptive Dispatching)
- AI 00303 - Удаление требования к обработчикам прерываний быть объектами уровня библиотеки (Removal of library-level requirement for interrupt handler objects)
- AI 00305 - Новая директива компилятору и дополнительные идентификаторы ограничений для систем реального времени (New pragma and additional restriction identifiers for real-time systems)
doc/en/ada_letters/jun2005 Выпуск jun2005
jun2005. Выпуск jun2005
- От редактора. (From the Editor)
- Годовой отчет SIGAda. (SIGAda Annual Report. Currie Colket)
- Устав SIGAda (SIGAda Bylaws)
- Результаты выборов SIGAda (SIGAda Election Results)
- Динамическая загрузка плагинов в Ада 95 и Ада 2005. (On Dynamic Plug-in Loading with Ada 95 and Ada 2005 - Cyrille Comar. Pat Rogers)
- Востановление FAT32 дискас помощью Ада 95. (Windows Disk Drive Recovery with Ada95 - An Application Note. Karl Nyberg)
- Програмные компоненты повторного использования. (Reusable Software Components. Trudy Levine)
doc/en/ada_letters/mar2005 Выпуск mar2005
mar2005. Выпуск mar2005
- Предисловие председателя. (Letter from the Chair. Currie Colket)
- Награды SIGAda за 2004
- Награда "Выдающаяся студенческая работа" SIGAda за 2004
- Отчет рабочей группы API WG. (API Working Group BOF Session Summary. Clyde Roby)
- Инверсия приоритетов в мультипроцессорной системе в результате защищенных вызовов. (Priority Inversion in Multi Processor Systems due to Protected Actions. Gustaf Naeser)
- Взаимные блокировки в программах на языке Ада 95. (Tasking Deadlocks in Programs with the Full Ada95. Y. Tojo, S. Nara, Y. Goto, J. Cheng)
- Програмные компоненты повторного использования. (Reusable Software Components. Trudy Levine)
- Анонс выборов SIGAda 2005 (SIGAda Elections 2005)
doc/en/ada_letters/sept2004 Спецвыпуск по библиотекам контейнеров, sept2004
sept2004.
- От редактора. (From the Editor)
- Информация автору. (Newsletter Information)
- Годовой отчет SIGAda. (SIGAda Annual Report. Currie Colket)
- Анонс конференции SIGAda 2004. (SIGAda 2004 Information)
- Анонс конференции Ada Europe 2005. (Ada Europe 2005 CFP)
- Charles: Библиотека Стандартных Шаблонов (STL) для языка Ада 95. (Charles: An STL for Ada 95. Matthew Heaney)
- Введение в библиотеку Стефана для Ады. (Introduction to Stephe's Ada Library. Stephen Leake)
- PragmAda компоненты повторного использования. (The PragmAda Reusable Components. Jeffrey Carter)
- Програмные компоненты повторного использования. (Reusable Software Components. Trudy Levine)
doc/en/ada_letters/jun2004 Выпуск jun2004
jun2004 Выпуск jun2004
- Предисловие председателя. (Letter from the Chair. Currie Colket)
- Награды SIGAda за 2003. (2003 SIGAda Awards. Currie Colket)
- Руководство по использованию Ada Ravenscar Profile в системах повышенной надежности. (Guide for the use of the Ada Ravenscar Profile in high integrity systems. Burns, Dobbing, and Vardanega)
doc/en/ada_letters/dec2003 Выпуск dec2003. Спецвыпуск по 12-му заседанию международной рабочей группы по использованию язвыка Ада в системах реального времени. (Proceedings of the 12th International Real-Time Ada Workshop).
dec2003 Выпуск dec2003. Спецвыпуск по 12-му заседанию международной рабочей группы по использованию язвыка Ада в системах реального времени. (Proceedings of the 12th International Real-Time Ada Workshop).
- Предисловие председателя. (Message from the Chair. Currie Colket)
- От редакции журнала. (Newsletter Info)
- Титульная страница.
- Секция "Основные свойства языка". (Session: New Core Language Features)
- Секция "Интеграция или ортогональность (Java реального времени вместо Ады)" (Session: Integration vs. Orthogonality)
- Является ли грядущая технология 'Java в рельном времени' лучшей, чем Ada технология? (Is Java Augmented with the RTSJ a Better Real-Time ... Technology than Ada 95? AJ Wellings)
- Секция: Текущие вопросы/предложения по системам реального времени. (Session: Current Real-Time AIs)
- Отчет "Реализация в GNAT динамических предельных приоритетов". (Dynamic Ceiling Priorities in GNAT Implementation Report. Miranda et al.)
- Управление несколькими таймерами времени исполнения из одиночной задачи. (Managing Multiple Execution-Time Timers from a Single Task. MG Harbour and MA Rivas)
- Секция "Гибкое планирование исполнения задач в Аде". (Session: Flexible Scheduling in Ada)
- Планирование исполнения задач на основе их атрибутов - развитие поддержки планирования в Аде. (Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling. Burns and AJ Wellings)
- Контроллируемое приложением планирование задач в Аде. (Application-Defined Scheduling in Ada. MA Rivas and MG Harbour)
- Разделение по пространству и времени при помощи ARINC 653 и прагмы Profile. (Space & Time Partitioning with ARINC 653 and pragma Profile. JL Tokar)
- Секция "Статус и будущее для Ravenscar". (Session: Ravenscar Status and Future)
- Статический анализ Ravenscar программ. (Static Analysis of Ravenscar Programs. PN Amey and BJ Dobbing)
- Шаблоны проектирования для Ravenscar? Опыт использования Ravenscar Profile. (Ravenscar Design Patterns? Reflections on Use of the Ravenscar Profile. T Vardanega)
- Проверка, тестирование и мониторинг Open Ravenscar Real Time Kernel. (Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel. R Maia et al)
- Часы исполняемого времени и Ravenscar ядра. (Execution-Time Clocks and Ravenscar Kernels. A de la Puente and J Zamorano)
- Один из подходов к проверке конкурентных Ада-программ реального времени. (An Approach to Formal Verification of Real Time Concurrent Ada Programs. DJ Howe and S Michell)
- Секция "Создание новых предложений к расширению языка" (Session: Generating New AIs)
- Секция "Будущее IRTAW (международной рабочей группы по использованию язвыка Ада в системах реального времени)". (Session: The Future of IRTAW)
doc/en/ada_letters/sept2003 Выпуск sept2003
sept2003 Выпуск sept2003
- Годовой отчет SIGAda (SIGAda Annual Report. Currie Colket)
- От редакции журнала. (Newsletter Information)
- План создания стандарной библиотеки для Ада. (A Plan for Producing a Conventional Ada Library. Marin Condic)
- Введение в стандарт Ада 2005. (An Introduction to Ada 2005. Pascal Leroy)
- Анонс конференции SIGAda 2003. (SIGAda 2003 Information.)
- Анонс конференции Ada Europe 2004. (Ada Europe 2004 CFP.)
doc/en/ada_letters/june2003 Выпуск june2003
june2003 Выпуск june2003
- Предисловие председателя. (Message from the Chair. Currie Colket)
- От редакции журнала. (Newsletter Information)
- Анонс Центра профессиональной разработки ACM. (ACM Professional Development Centre Announcement.)
- Компоненты для повторного использования. (Reusable Software Components. Trudy Levine)
- Автоматическое построение прототипов при помощи Оптимизированной Объектной Модели. (Automatic Prototype Generating via Optimized Object Model. Sheldon X. Liang, Lynn Zhang, Luqi)
- Надежность программирования задач реального времени в языках Java и Ада. (Real-time programming safety in Java and Ada. Bo Sanden)
- Дорогая Ада. (Dear Ada. Matthew Heaney)
- Анонс SIGAda 2003. (SIGAda 2003 CFP)
- Анонс IRTAW 2003. (IRTAW 2003 CFP)
- Анонс Ada Europe 2004. (Ada Europe 2004 CFP)
lib Библиотеки и надстройки над библиотеками
lib/pure Библиотеки на языке Ада
glade Пакет GLADE содержит инструментальные средства и библиотеки необходимые для написания распределенных программ GNU Ada. Он позволяет различным частям программы выполняться на разных машинах и взаимодействовать между собой.
- Glade GPL 2007
- Glade sources
- Glade documentation
3.15p-3 RPM for RedHat 7.2
asis-for-gnat Пакет ASIS for GNAT содержит инструментальные средства и библиотеки необходимые для написания распределенных программ GNU Ada.
- ASIS Gnat GPL 2007
- ASIS sources
3.15p-3 RPM for RedHat 7.2
XmlAda Xml/Ada - набор модулей позволяющий легко манипулировать XML потоками. Он поддерживает стандарт XML 1.0, включая DTD, SAX и DOM интерфейсы. Включает модули работы с Unicode.
- версия GPL 2007 2.2.0
1.0-1 RPM for RedHat 7.2
1.0-1 runtime RPM
adacgi Этот пакет написан David A. Wheeler и предназначен для реализации WEB-программ на Ada95. Пакет предоставляет связку Ada95 с интерфейсом CGI (the Common Gateway Interface), который является общим интерфейсом взаимодействия между WEB-сервером и специализированными приложениями WEB-сервера.
1.6 Исходные тексты
1.6-4 RPM for RedHat 7.x
lib/bindings Надстройки над C-библиотеками (bindings).
GtkAda GtkAda - библиотека привязки к Gtk+, служит для построения приложений работающих в графичиских оболочка Linux, Windows и пр. В полной мере использует объектные свойства языка Ада.
- Исходные тексты
2.2.1-1 RPM for RedHat 7.x
2.2.1-1 runtime RPM
florist Пакет Florist содержит набор пакетов Ады, которые позволяют Вам писать программы использующие реализацию стандарта POSIX 1003.5, разработанную в Университете Штата Флорида (FSU). Стандарт POSIX 1003.5 описывает правила связывания POSIX-функций с языком Ада. Эти средства могут понадобиться для прямых вызовов функций операционной системы из Ада-программы.
- Версия GPL 2007
- Версия GMGPL 3.15p
3.15p-3 RPM for RedHat 7.2
adasockets Интерфейс позволяющий использовать BSD сокеты в Аде.
1.8.5. Исходные тексты
1.8.4.2-1 RPM for RedHat 7.2
1.8.4.2-1 runtime RPM
ORBit-Ada ORBit-Ada - проект разработки Ada интерфейса для ORBit Corba ORB.
1.2. Исходные тексты
0.5.7. Исходные тексты
polyorb PolyORB является набором средств и библиотек, которые могут быть использованы для разработки приложений CORBA средствами языка Ада. PolyORB предусматривает синтаксический анализатор IDL, генератор Ада-кода, а также предопределенные пакеты поддержки (определяемые Ада-отображением).
- Версия GPL 2007
1.0p-1 RPM for RedHat 7.2
1.0p-1 runtime RPM
APQ APQ является Ada95-связкой для серверов баз данных PostgreSQL/MySQL. Вместо типов C/C++, эта связка предоставляет интерфейс между языком Ada95 и библиотеками языка C, которые предусматриваются в пакетах этих северов баз данных.
2.1. Исходные тексты
2.1-1 RPM for RedHat 7.2
2.1-1 runtime RPM
Gnade Главная цель проекта - предоставить утилиты и пакеты для интеграции Ада приложений с SQL базами данных.
1.5.3b. Исходные тексты
adabindx Библиотека привязки Ада программ для работы с X Windows и Motif (или lesstif).
0.7.2. Исходные тексты
0.7.3a-1 RPM for RedHat 7.x
0.7.3a-1 runtime RPM
adaopengl Библиотека привязки Ада программ для доступа к самым современным возможностям OpenGl. Возможно разовьется в полноценную библиотеку.
0.12 Исходные тексты
zlib-ada Оболочка для использование библиотеки ZLib из программ на языке Ada.
1.3 Исходные тексты
1.2-1 RPM for RedHat 7.2
1.2-1 runtime RPM
gwindows GWindows - связка с win32 компонентами ADO доступа к базам данных и Active X для компонент управления, диалогов, печати и прочего, необходимого для построения Win32 приложений.
1_2a Исходные тексты
lib/compon Библиотеки контейнеров и компонент.
bc Библиотека компонент Гради Буча, перенесенная в Аду.
20070822 Исходные тексты
20031123-1 RPM for RedHat 7.x
20031123-1 runtime RPM
pragmarc Библиотека компонент PragmAda Reusable Components (PragmARCs) предоставляет такие контейнеры, как ограниченные и неограниченные по длинне списки и очереди, множества (bag), дискретные множества (bit mapped set), сбалансированные списки и стеки. Для каждого типа контейнеров предлагается защищенный (protected) и незащищенный варианты, стандартный набор операций, итератор по контейнеру (без возможности модификации контейнера при итерации). Кроме контейнеров библиотека содержит ряд полезных пакетов: поиск, сортировка, математика над матрицами, генератор случайных чисел и пр.
. Исходные тексты
10012002-1 RPM for RedHat 7.2
10012002-1 runtime RPM
lgl-adt В состав библиотеки компонент lgl ADT включены такие контейнеры, как списки и очереди, множества и дискретные множества, хэш таблицы. Контейнеры делятся на два типа, для хранения лимитированных и нелимитированных типов.
. Исходные тексты
adasl AdaSL поддерживает векторы, одно и двусвязные списки, графы, деревья, сбалансированные деревья и B-деревья, хеш таблицы, кучи. Для большинства контейнеров даны три вида реализации: фиксированная, расширяемая и динамическая. Пользователь может настроить обратные вызовы (callback) на добавление, копирование и удаление элементов в контейнере. Контейнеры можно просматривать и изменять через итераторы. Библиотека имеет до 5 уровней настраиваемых пакетов, что несколько затрудняет ее использование. Для облегчения дается настройка всех контейнеров на базовый теговый тип.
1.4 Исходные тексты
1.4-1 RPM for RedHat 7.x
1.4-1 runtime RPM
sal Библиотеку Stephe's Ada Library трудно назвать библиотекой контейнеров, т.к. контейнеры составляют меньшую ее часть. Библиотека основанна на настраиваемых пакетах контейнеров и пакетах функциональности. Контейнеры (очередя и стеки, автоматически расширяемые массивы, списки, бинарные деревья) могут хранить как обычные, так лимитерованные или неограниченные (indefinite) объекты. Предлагаемая функциональность над контейнерами - поиск, сортировка, итерация. Большую часть библиотеки составляет математика с векторами, матрицами, скоростями и усорениями в пространстве.
2.00 Исходные тексты
1.51-1 runtime RPM
1.51-1 runtime RPM

Banner

    Проекты на Аде
    Уроки Ады
    Документация
    Конференции Changed
    Разработки Changed
    Примеры
    Каталог ПО
    Полезные ссылки
    Поиск в Сети
    Скачать
Home
Copyright © 2005 .