Ada for Software Engineers (Second Edition with Ada 2005)

  • Mordechai Ben-Ari

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Pages 13-30
  3. Pages 31-40
  4. Pages 41-58
  5. Pages 143-170
  6. Pages 189-215
  7. Pages 217-243
  8. Pages 245-276
  9. Pages 277-286
  10. Pages 287-306
  11. Pages 307-321
  12. Pages 345-373
  13. Pages 375-399
  14. Pages 401-421
  15. Pages 423-450
  16. Back Matter
    Pages 459-509

About this book


Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. This textbook is intended for experienced programmers (advanced students and practicing software engineers) who need to master software design and programming in Ada. Special features of the book include:

• The constructs of the language are taught within the context of large case studies such as a discrete event simulation.

• 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 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.


Ada Ada 95 Java Text data structures inheritance object-oriented programming programming programming language

Editors and affiliations

  • Mordechai Ben-Ari
    • 1
  1. 1.Weizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 2009
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84882-313-6
  • Online ISBN 978-1-84882-314-3
  • Buy this book on publisher's site