Safe and Secure Software: An Invitation to Ada 2012

by John Barnes, Ben Brosgol (Contributor)

The aim of this booklet is to show how the study of Ada in general, and the features introduced by Ada 2005 and Ada 2012 in particular, can help anyone designing safe and secure software regardless of the programming language in which the software is eventually written. After all, successful implementers of safe and secure software write in the spirit of Ada in any language.

160 pages, ebook

First published January 1, 2008

About the author

Librarian Note: There is more than one author in the Goodreads database with this name.

John Gilbert Presslie Barnes is a British computer scientist, known for his involvement in developing the Ada programming language.