• Gem #38: Safe and Secure Software : Chapter 4, Safe Architecture

    This week's gem is the fourth 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. We hope you will enjoy the read!

    Continue Reading »

    John Barnes
  • Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers

    This week's gem is the third 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. We hope you will enjoy the read!

    Continue Reading »

    John Barnes
  • Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax

    This week's gem is the first 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. We hope you will enjoy the read!

    Continue Reading »

    John Barnes
  • Gem #30: Safe and Secure Software : Introduction

    This week's gem is the introduction to 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 this page you can access the contents and bibliography for the entire booklet. We hope you will enjoy the read!

    Continue Reading »

    John Barnes
« Previous    1  2