Home | Contact | Pricing | News | Partners | Mailing List | Site Map
Gnat Pro. Powerful tools. Frontline Support. Ada expertise.

Gem #53: Safe and Secure Software: Chapter 12: Conclusion

Author: John Barnes

Abstract:

Gem #53 is the concluding chapter of John Barnes’ new booklet:

Safe and Secure Software: An Introduction to Ada 2005.

We hope you have enjoyed this series. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.

« Previous Gem | Next Gem » | Gems Menu

Let’s get started…

It is hoped that this booklet will have proved interesting. It has covered a number of aspects of writing reliable software and hopefully has shown that Ada is a good language and source of inspiration to use for programs that matter.

This booklet concludes with some background notes on the development of languages.

Read Chapter 12 in full

Note: All chapters of this booklet are available on the Ada 2005 home page.

application/pdf
652.5Kb
 

Posted by Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week

Have your own idea for a Gem?

If you have an idea for a Gem you would like to contribute please feel free to contact us at: gems@adacore.com

Discussion

Leave a Reply