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

• Introduction - (689 KB)
• Ch.1 - Safe Syntax - (623 KB)
• Ch.2 - Safe Typing - (717 KB)
• Ch.3 - Safe Pointers - (738 KB)
• Ch.4 - Safe Architecture - (724 KB)
• Ch.5 - Safe Object Oriented Programming - (740 KB)
• Ch.6 - Safe Object Construction - (719 KB)
• Ch.7 - Safe Memory Management - (718 KB)
• Ch.8 - Safe Startup - (674 KB)
• Ch.9 - Safe Communication - (688 KB)
• Ch.10 - Safe Concurrency - (742 KB)
• Ch.11 - Certified Safe with SPARK - (707 KB)
• Ch.12 - Conclusion - (668 KB)

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