Safe and Secure Software

An invitation to Ada 2005

Below you will find all thirteen chapters of John Barnes booklet that shows how the study of Ada in general and Ada 2005 in particular, is helpful to everyone designing safe and secure software regardless of the programming language in which the software is eventually written.

Chapters Available

• Introduction 673.3Kb


• Chapter 1 - Safe Syntax 679.9Kb


• Chapter 2 - Safe Typing 699.7Kb


• Chapter 3 - Safe Pointers 721Kb


• Chapter 4 - Safe Architecture 707Kb


• Chapter 5, Safe Object Oriented Programming 722Kb


• Chapter 6, Safe Object Construction 702Kb


• Chapter 7, Safe Memory Management 700.7Kb


• Chapter 8, Safe Startup 657.8Kb


• Chapter 9, Safe Communication 672.1Kb


• Chapter 10, Safe Concurrency 724.8Kb


• Chapter 11, Certified Safe with SPARK 690.4Kb


• Chapter 12, Conclusion 652.5Kb