Technical Papers

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.

Attached Files

posted in SPARK Pro, Ada 2005 / 95 / 83, High Security Development, Safety-Critical Development