Spotlighting an ARA member:
Click
here
for the current AdaIC sponsor spotlight.
Ada
at Work
Why Ada?
Ada
in the News
Help
Wanted
Ada Links
Downloads
Compilers & Conformity
Ada
Standards
Learn Ada
ARA
Search Ada Sites
Site Map
Home
What's New at the AdaIC?
Subscribe to AdaIC News
Ada at Work
Flight
Boeing 777
Helicoptors
Flight control
Landing Gear
BE-200
Transportation
US DOT traffic signal control system
New York City Subway
Paris Subway
Cairo & Calcutta Metros
European Train Control
Ship System 2000
Trains in Class
GPS
Space
Space Station Robot Embeds Ada (.pdf)
Manufacturing
Weirton Steel Mill
Furniture Making
Safety & Testing
Pratt & Whitney
Nuclear Power Plant
SPARK Ada Certifies SmartCards
Other
Bound-T, machine level program analysis
Pollution Monitoring
Video Security
Ada Cuts Time 99.5%
For MS Windows
Radio Telescope
Editing Videos
Why Ada
Why Use Ada?
Choose Ada
Ada Does Multicore Now
Ada Helps Build Safe Systems
Enhance Security With Ada
Ada Enhances Embedded Systems Development
Use Ada For Better Safety, Security, And Reliability
Mosemann on Ada vs Others
The A-Z of Programming Languages: Ada
Ada Helps Churn Out Less Buggy Code
Embedded Ada Survey Results
Comparing Ada to C and C++
A Comparision of Ada and C++
C++?
Comparing the Development Costs of C and Ada
Software Engineering Education: On the Right Track
Ada in the News
AWS available for Wind River's VxWorks
Skein hashing in SPARK
Ada and multicore programming
(Softtalk blog)
EETimes online article:
Lunar lander project relies on SPARK programming language
Embedded.com article:
Expressive vs. permissive languages: Is that the question?
Ada-Europe 2011 - The Ada Connection
will be held 20-24 June 2011
GNAT Pro High-Integrity Edition Version 6.3 for Wind River VxWorks MILS Platform
Rockwell Collins
selects SPARK Pro
Barco developed a
business jet avionics display system
in Ada
MDBA
extends its global license agreement
with AdaCore
AdaCore and Altran Praxis released
SPARK Pro 9
Jack Ganssle on
CodePeer
Ada used to develop
traffic signal control system
AdaCore releases
GNAT Pro 6.3
AdaCore releases
GNAT Pro for PikeOS
AdaCore launches the
CodePeer
source code analysis tool
SIGAda 2010 dates and location announced
Praxis and AdaCore launch
SPARK GPL
GNAT Pro is now available for
LynxOS 5.0
A new release of the
GNATbench
Eclipse plug-in supports Wind River Workbench 3.1
General Dynamics UK selects
SPARK language
for major new Royal Navy helicopter project
GNAT Pro is
now available for all current VxWorks platforms
.
Thales chooses
GNAT Pro
for the
Airbus A350 XWB
.
Lockheed chooses
GNAT Pro
for the
C-130J Super Hercules
aircraft.
AdaCore announces
Astrium selects GNAT Pro for new satelite
.
GNAT Pro for the
8-bit AVR microcontroller
.
AdaCore and Praxis announce
SPARK Pro
.
AdaCore has released
GNAT Pro
, GNAT Pro 6.2.
The
GNAT Pro Traceability Analysis Package
is now available.
BAE Systems UK Signs Corporate-Wide Contract with AdaCore
.
Jack Ganssle at
Embedded.com
wonders
Why aren't developers more interested in Ada?
and then follows up on it with
Ada Take Two
.
AdaCore has released a new version of
GPS
AdaCore announces a version of GNAT for
VXWorks MILS
AdaCore announces a version of GNAT for
VXWorks SMP
AdaCore announces a version of GNAT for
ELinOS
AdaCore announces a version of GNAT for
Nucleus OS
AdaCore and Praxis announce strategic partnership
NSA case study on zero-defect software uses Ada
GNAT Academic Program
adds its 150th University member
Stephen Baird
has joined AdaCore
GNATPro is now available for
RTX
GNAT Component Collection
GNAT-Java Interfacing Suite
Ipesoft selects GNAT Pro
EE Times:
Project launched to provide coverage analysis tool
The A-Z of Programming Languages: Ada
is an interview with Tucker Taft.
The Return of Ada
is discussed in GCN, April 2008
Robotics in Ada95
is covered in Circuit Cellar, March 2008
AdaCore supports
VxWorks 653
AdaCore releases a new version of
GNATbench
Electronic Design publishes
Use Ada For Better Safety, Security, And Reliability
Ada helps
crack WW II Crypto challenge
Stack analysis tool available for GNAT Pro
New version of GNAT Pro for
the Microsoft .NET platform
Ada 2005 Becomes Official ISO Standard
AdaCore starts
Ada Gem of the Week
Embedded.Com:
ESC: Ada 2005 speaks to real-time embedded applications
Ada helps a winner of Sun's Open Performance Contest
.
The lead designer of the Ada programming language,
Jean Ichbiah
, passed away on January 26th, 2007.
Using
Ada 2005
is discussed in the article
Ada Enhances Embedded Systems Development
.
SPARK
is featured in the article
Mathematical Approaches to Managing Defects
Crosstalk
devotes its
August 2006 issue
to
Ada 2005
The Boeing Company Selects SofCheck's Ada Error Detection Technology
Ada Market Entails at Least a $5.6 Billion Investment
Ada Answers Launches
!
Help Wanted
Ada Jobs
Ada Recruiters
Ada Links
ACM SIGAda
Local SIGAdas
Baltimore SIGAda
Jersey Shore SIGAda
DC SIGAda
European Associations
Ada Europe
Worldwide Associations
Ada Belgium
Ada Denmark
Ada France
Ada Germany
Ada Russia
Ada Spain
Ada Switzerland
Web Sites
Ada Power
Cetus OO-Ada
Real-world Ada Projects
SIGAda in Education
Ada and Linux
Resources on Ada
AdaTutor Home
Ada World
Ada Answers
Wikibooks Ada Programming
Archangel Interactive
Ada Programming Blog
Ada by Krischik
Ada Commons
News/Discussion Groups
comp.lang.ada
via Google groups
Team-Ada mailing list Archives
Ada subpage at Reddit
AdaIC News mailing list
Software Libraries
Ada and Software Engineering Library
Open Software (GNU)
Libre Software
Booch Components
AdaBASIS
Brighton University
Student Packages
ZLib Binding
Uniparser
Tension Structures
Andersen Library
Stephen Leake's Libraries
APQ
Charles
XML4Ada95
Nasser Abbasi Ada page
Unzip Ada
Globe3D
Ada Reusable Code
Drawplex
ASound
QT Bindings
Cheddar
Ada AutoIT
QT4Ada
QTAda
Player-Ada
Ada-Spread
G2F_IO
Anders Gidenstam's Ada Software pages
Oliver Kellogg's Ada source processing
Basil
AdaWorks
Ahven
SOCI-Ada
Matthews Libraries and Programs
PCSC/Ada
PLplot for Ada
Excel Writer
GNU GMP and MPFR binding
Jonathan Parker's Math Libraries
Configuration File package
Canta
Ada Bindings for 0MQ
Development Tools
AdaCore
AdaGide
AdaRose
AdaStat
Aonix
ArtiSan Software
A#
Booch Components
C2Ada Sourceforge Project
Compaq Ada
DDC-I
Excel Software
GNAT for Macintosh
Gela ASIS
Green Hills Software
GrammaTech, Inc.
IBM Rational Software
ICS
IPL's AdaTEST
Irvine Compiler
Lattix Inc.
McKae Technologies
Midoan Software Engineering Solutions Ltd.
Objective Interface Systems
OC Systems
P2Ada Sourceforge Project
Polyspace Technologies
Praxis Critical Systems
PragmAda Software Engineering
PrismTech
RainCode for Ada
Ralston Software Solutions
RAPID
RR Software
SCI Tools/Understand for Ada
SofCheck
Sinelabore
Telelogic
Vector Software
Trainers and Consultants
Absolute Software
Adalog
AdaRose
Ada Solutions
Pyrrhus Software
Software Arts & Sciences
SPARK Sure
Learn Ada
Ada Trainers
Conferences
Lovelace Tutorial
Ada Distilled (on-line book)
Presentations from Ada UK 2007
General Ada Information
Introducing Ada
An Overview of Ada 95
Ada Terminology
FAQs
Ada Power
Ada Home
Technical Ada Articles
Multiple Inheritance in Ada 95
Safe Pointers
Shared Resource Design Patterns
Compatibility Between Ada 83 and Ada 95
Ada Textbooks
Downloads
Free Software
AdaGIDE
GNAT GPL Edition
Booch Components
Compilers Available from AdaBasis
Ada Software Available from AdaBasis
Catalog of Free Compilers and Interpreters
Linux Business Shell
Mine Detector Game
Free Textbooks
Ada Distilled
Ada95: The Craft of Object Oriented Programming
Object Oriented Programming in Ada95
Compilers & Conformity
All Articles & Compilers
Certified Compilers
Why Certify?
Ada95 Compilers
Ada83 Compilers
Free Software
Conformity=Certified
What is Conformity?
Compilers & Conformity
Conformity Testing
Evaluation Tools
Ada Standards
Ada95
Working Groups
All Standards
Ada 2012 (draft)
Ada 2005
Ada 95
Ada 83
ASIS
Military Standard 498
Standards Groups & SIGAda Organizations
Ada Resource Association
Sponsors
Mission
Become an ARA Sponsor!
Ada Biography & Bibliography
Biography
Bibliography
Interview with a Byronic Filmmaker
Scientific American article
Site Map
Subscribe to AdaIC News
Search the AdaIC site
Search Ada Sites on the web
2005 Survey of Ada Usage
Home
Top
Sponsored by the following ARA member companies: