Ada for Software Engineers

Focusing on high-integrity software systems, this book delves into Ada, a programming language favored in transportation and aerospace industries. It emphasizes object-oriented programming, concurrency, and real-time systems, while explaining concepts and terminology from the Ada Reference Manual. The text includes extracts from the ARM, a glossary, and technical quizzes to enhance practical understanding. Comparisons with C and Java aid in transitioning to Ada, and both Ada 2005 and Ada 95 features are covered, with a companion website offering extensive resources.