Ada for Software Engineers 2nd Edition [Repost]

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

From the Back Cover
Ada has become the language of choice for high integrity software systems, and is now used extensively in applications such as transportation, finance, aerospace and heavy industry. This book is aimed at professional software engineers making the transition to Ada, and at students using Ada for advanced undergraduate projects or graduate research. Ada for Software Engineers
Teaches the language as it is used in practice through case studies such as a discrete event simulation
Emphasizes the features supporting object-oriented and embedded systems programming introduced in Ada 95
Explains the terminology of the Ada Reference Manual using selected extracts and a glossary with examples
The CD-ROM contains:
Source code of all case-studies and quizzes
Ada compilers for several platforms
The Reference Manual in printable and hypertext formats
Graphical syntax charts
"I like the book very much. It is one of the most readable programming language textbooks I have seen for a long time." S. Tucker Taft, Intermetrics (Technical Director of the Ada 95 design team)