Abstract
Welcome to the final gem before we take a break for the summer, which is the sixth chapter of John Barnes' new booklet: Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
The gems series will recommence in September. In the meantime, we hope you have a wonderful summer!
Index Terms
Gem #42: safe and secure software: chapter 6, safe object construction
Recommendations
Gem #37: bounded buffer package in GNAT hierarchy (part 2)
Ada Gem #37 --- Part 1 of this Gem briefly introduced bounded buffers, protected types, and the declaration of the generic package GNAT. Bounded_Buffers, exporting protected type Bounded_Buffer. In Part 2 of the Gem we examine the private part of ...






Comments