Ada For Software Engineers

This volume is aimed at experienced programmers and advanced engineering students, who recognize that Ada is becoming the language of choice for high-integrity software systems. It uses case studies to teach readers how Ada is applied in practice.