Ada answers
Building better software with Ada
Resources and Links
Below you’ll find a short list of the best and most up-to-date Ada resources and links.Ada in Academia
GNAT Academic Program
A new community-based program created by AdaCore to encourage and support the use of Ada in Academia.
Ada Associations
ACM SIGAda
The home page for the “Special Interest Group on Ada” with pointers to local chapters.
Ada Europe
An international organization set up to promote the use of Ada with local
charters in several European countries.
Books
Ada for Software Engineers
by Ben-Ari
Programming in Ada 2005
by John Barnes
Concurrent and Real-Time Programming in Ada (covers Ada 2005)
by Alan Burns and Andy Wellings
by Nell Dale and John W. McCormick
Ada 2005 Reference Manual
Tucker Taft, Robert Duff, Randy Brukardt, Erhard Plödereder, and Pascal Leroy (Eds.)
Ada 95: Problem Solving and Program Design (Third Edition)
by Michael Feldman and Elliot Koffman
Ada As A Second Language(Covers Ada 95 in depth)
by Norman Cohen
News Groups
Technical Resources
Ada 2005 Reference Manual
An online version of the Ada 2005 reference manual.
Ada 95 Reference Manual
An online version of the Ada 95 reference manual.
Ada 2005
All things Ada 2005 in Ada Answers
Ada Assessment Authority
The Ada Conformity Assessment Authority is responsible for the
management of Ada conformity assessment.
ISO Home of Ada Standards
A summary of the present state of the standardization of Ada, current
developments, and a brief history of the standardization of the Ada language.
FAA Software Verification Tools Assessment Study
The Software Verification Tools Assessment Study (SVTAS) was a research effort to investigate criteria for effectively evaluating structural coverage analysis tools for use on projects intended to comply with RTCA/DO-178B, “Software Considerations in Airborne Systems and Equipment.” Ada is mentioned several times.
NASA Software Safety Guidebook
This guidebook was created to provide specific information and guidance on the process of creating and assuring safe software. Once again, Ada is mentioned several times.
Election Assistance Commission Guidelines
This guidebook was created to provide specific information and guidance on the process of creating software for use in US voting machines. Not surprisingly in section 6.4.1, Ada is mentioned several times.
Tutorials
A series of tutorials on Ada Java Interfacing and AUnit (Unit Testing Framework) by Daniel Bigelow:
Ada Java Interfacing
AJIS Part 1: Ada-Java Interfacing Suite 1 of 2
AJIS Part 2: Ada-Java Interfacing Suite 2 of 2
AUnit – Unit Testing Framework
Part 2: Simple Test-Case Class Tutorial
Part 3: Standard Test-Case Tutorial
Part 4: Fixture Test-Case Tutorial
Part 5: Liskov Substitution Principle: 1 of 2
Part 5: Liskov Substitution Principle: 2 of 2
Part 6: Testing a class hierarchy using the Standard Test-Case: 1 of 2
Part 6: Testing a class hierarchy using the Standard Test-Case: 2 of 2
Part 7: Testing Generic Units: 1 of 2
Part 7: Testing Generic Units: 2 of 2
Videos
Ada Answers
Hear what developers and technology decision makers have to say about Ada in this series of videos interviews.
Ada Lecture Series
Learn more about Ada through this informative series of university lectures and conference presentations given by some of the foremost experts on the language..
Real Time Embedded Systems Laboratory
See an example of how the University of Northern Iowa uses Ada and GNAT to teach its students sound software development practices.
Web Sites
Ada Resource Association
Articles on Ada applications, databases of available compilers,
current job offerings, and more.
AdaPower
A site dedicated to Ada programming, tools and resources.
Ada World
Ada news, resources, technical materials and tutorials.