Learning Materials
- Introduction to Ada
- Ada 2005 Books
- Ada 95 Books
- SPARK Books
- Tutorials
- News Groups
- Technical Resources
- Videos
- Websites
- Conferences and Events
Introduction to Ada
This series of articles is an introduction to Ada 95. The content is in the process of being updated to reflect the revisions introduced in Ada 2005 and the revisions currently underway for Ada 2012. But this is still an excellent introduction into the core technical features and benefits of Ada.
Read the article
Ada 2005 Books
Programming in Ada 2005
by John Barnes
Concurrent and Real-Time Programming in Ada
by Alan Burns and Andy Wellings
by Nell Dale and John W. McCormick
Ada for Software Engineers
by M. Ben-Ari
Ada 95 Books
Programming in Ada 95
by John Barnes
Ada As A Second Language
by Norman Cohen
Programming in Ada 95
by John Barnes
Ada Distilled (E-Book, Jan 2011 edition)
by Richard Riehle
Concurrency in Ada
by Alan Burns and Andy Wellings
Ada 95: Problem Solving and Program Design
by Michael Feldman and Elliot Koffman
Programming and Problem Solving with Ada 95
by Nell Dale, Chip Weems, and John W. McCormick
Rendezvous with Ada 95
by David J. Naiditch
Ada95: The Craft of Object Oriented Programming (E-Book)
by John English
Object Oriented Programming in Ada95 (E-Book)
by Michael A. Smith
SPARK Books
High Integrity Software – the SPARK Approach to Safety and Security
by John Barnes
Tutorials
Ada Lovelace Tutorial
The Ada Lovelace Tutorial by David A. Wheeler provides an introduction to Ada 95. Although the reader is assumed to have a basic understanding of programming, no prior exposure to Ada is assumed and all the basics of the language are covered.
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
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.
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 (requires realplayer)
See an example of how the University of Northern Iowa uses Ada and GNAT to teach its students sound software development practices.
Web Sites
AdaPower
A site dedicated to Ada programming, tools and resources.
Ada World
Ada news, resources, technical materials and tutorials.
Peter Hermann’s Resources on Ada
This is a continuously maintained collection of Ada-related links as concise as possible.
AdaTutor Home
AdaTutor is a shareware tutorial for Ada 95, written in Ada 95. It’s available for many platforms.
Ada Answers
Ada Answers is dedicated to keeping developers and project managers informed about Ada and showcasing the particular strengths and benefits of this extremely powerful programming language.
Wikibooks Ada Programming
The Wikibooks Ada Programming Wiki covers many Ada topics in a tutorial style.
Conferences, Events and Webinars
Visit the events page for the latest conferences, events and webinars on Ada.
View the events page
