Safe and Secure Software

An invitation to Ada 2005

Over the coming months, we will be publishing all thirteen chapters of John Barnes new 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.

A new chapter will be posted ever two weeks. Check back here regularly or subscribe to this RSS feed and be notified as soon a new chapter is posted.

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