Ada World - Free Books And References

Welcome to the Free Ada Books And References section. Free books don't mean that they have bad contents. For instance, the books appearing here are, in my humble opinion very good quality learning material. Why don't you take a look for yourself, you don't have to take my word for it. You'll see, as I did, that there is valuable information in these.

Ada World is always looking for more, So by all means do keep me informed of free books you might have seen somewhere and send me URLs and I'll do my best to to make them available to others as soon as possible.

General Ada Learning:

Ada Distilled
If you're already a programmer, then this is the ideal book for you. Richard Riehle from adaworks provides you with this PDF file along with Code Examples to quickly get you programming in the Ada programming language.
Introducing Ada 95
A complete book online written by John Barnes. Split into 4 learning section along with a reference to give you a complete run down of Ada and its many features.
Ada In Action
A good Ada programming book written by Do-While Jones that covers alot of grounds as far as Ada programming and methodology is concerned.
The Craft of Object Oriented Programming in Ada
Ada 95: The Craft of Object Oriented Programming. A complete book that covers everything about Object Oriented Programming in the Ada Programming Language.
The Ada95 BNF (Backus Naur Form) Language Grammar
You've learned throught the tutorials, you've read the books, what's next? How about a full blown detailed explanation of every parts of the Ada programming on a per keyword basis?
The Ada 95 Reference Manual
Still not satisfied? Still looking for something that you haven't seen yet about Ada? I don't doubt that you will find it in this complete Ada 95 Reference Manual.
Ada Language Notes
Here is a PDF file, created by Dale Stanbrough, that essentially is a collection of notes in regards to the Ada programming language. Although not an official learning book per se, it did teach me a thing or two in its examples and notes alike.

Specific Ada Learning:

Ada Formal Tasking Model
Here's a PDF file that describes the Ada Ravenscar Tasking Model. Offers great details into the inner working of the model as well as how to make sure your model follows the Ravenscar elaboration.
Critical Safety Ada
Another PDF file. This one explains a good deal of how to assure, from the planning to the coding, that critical safety measures are in place.
Ada Reference Card
Here is a quick reference card of different aspects of Ada, among other a quick list of pragmas are present for quick access to their definitions.
Ada Syntax Card
Another quick Ada reference PDF file. This one covers the Ada 95 language Syntax elements. Again for quick access to different aspects of the language.
Weaving Ada Into the .NET Environment
As its name implies talks about how to integrate Ada to the .NET Environment by compiling Ada to Java bytecode for the integration process.
MISRA C and Ada
A study and Comparison of MISRA C and Ada 95, how they differ, advantages of both, speaks quite well of Ada (maybe I should have put this one in my Ada Advocacy section).
Replication Management in Ada
Replication Management in Ada pretty much speaks for itself and I think what is described here offers a good source of information on the subject.
Implementation of Blocking Coordinated Atomic Actions Based On Forward Error Recovery
Here is a very interesting paper written by Alexander Romanovsky. The title pretty much speaks for itself and the contents, well I'll let you be the judge of that. I found it quite informative.
Steelman On-Line
David A. Wheeler has published his Steelman paper along with a document that compares Ada, C, C++ and Java against these specifications. A very interesting read indeed.
Implementing Application-Level Sporadic Server Schedulers in Ada 95
Is a paper created by M. González Harbour, J.J. Gutiérrez García, and J.C. Palencia Gutiérrez which I had to add to my list of free books. Thank you to the authors who have so graciously allowed me to host the file on my website.

About The Free Books And References:
Welcome to the Free Ada Books And References section. Free books don't mean that they have bad contents. For instance, the books appearing here are, in my humble opinion very good quality learning material. Why don't you take a look for yourself, you don't have to take my word for it. You'll see, as I did, that there is valuable information in these. Ada World is always looking for more, So by all means do keep me informed of free books you might have seen somewhere and send me URLs and I'll do my best to to make them available to others as soon as possible.

the Free Books And References:
General Ada Learning:
Ada Distilled If you're already a programmer, then this is the ideal book for you. Richard Riehle from adaworks provides you with this PDF file along with Code Examples to quickly get you programming in the Ada programming language. Introducing Ada 95 A complete book online written by John Barnes. Split into 4 learning section along with a reference to give you a complete run down of Ada and its many features. Ada In Action A good Ada programming book written by Do-While Jones that covers alot of grounds as far as Ada programming and methodology is concerned. The Craft of Object Oriented Programming in Ada Ada 95: The Craft of Object Oriented Programming. A complete book that covers everything about Object Oriented Programming in the Ada Programming Language. The Ada95 BNF (Backus Naur Form) Language Grammar You've learned throught the tutorials, you've read the books, what's next? How about a full blown detailed explanation of every parts of the Ada programming on a per keyword basis? The Ada 95 Reference Manual Still not satisfied? Still looking for something that you haven't seen yet about Ada? I don't doubt that you will find it in this complete Ada 95 Reference Manual. Ada Language Notes Here is a PDF file, created by Dale Stanbrough, that essentially is a collection of notes in regards to the Ada programming language. Although not an official learning book per se, it did teach me a thing or two in its examples and notes alike.
Specific Ada Learning:
Ada Formal Tasking Model Here's a PDF file that describes the Ada Ravenscar Tasking Model. Offers great details into the inner working of the model as well as how to make sure your model follows the Ravenscar elaboration. Critical Safety Ada Another PDF file. This one explains a good deal of how to assure, from the planning to the coding, that critical safety measures are in place. Ada Reference Card Here is a quick reference card of different aspects of Ada, among other a quick list of pragmas are present for quick access to their definitions. Ada Syntax Card Another quick Ada reference PDF file. This one covers the Ada 95 language Syntax elements. Again for quick access to different aspects of the language. Weaving Ada Into the .NET Environment As its name implies talks about how to integrate Ada to the .NET Environment by compiling Ada to Java bytecode for the integration process. MISRA C and Ada A study and Comparison of MISRA C and Ada 95, how they differ, advantages of both, speaks quite well of Ada (maybe I should have put this one in my Ada Advocacy section). Replication Management in Ada Replication Management in Ada pretty much speaks for itself and I think what is described here offers a good source of information on the subject. Implementation of Blocking Coordinated Atomic Actions Based On Forward Error Recovery Here is a very interesting paper written by Alexander Romanovsky. The title pretty much speaks for itself and the contents, well I'll let you be the judge of that. I found it quite informative. Steelman On-Line David A. Wheeler has published his Steelman paper along with a document that compares Ada, C, C++ and Java against these specifications. A very interesting read indeed. Implementing Application-Level Sporadic Server Schedulers in Ada 95 Is a paper created by M. González Harbour, J.J. Gutiérrez García, and J.C. Palencia Gutiérrez which I had to add to my list of free books. Thank you to the authors who have so graciously allowed me to host the file on my website.