I would like to thank James Rogers for reviewing this web site.  He pointed out several areas that needed clarification and further explanation.

    Roger Racine gave me some very good constructive criticism.  He pointed out several errors I made when entering my information and made some very good suggestions for improving the web site information.

    Several people on the Ada news group comp.lang.ada assisted me through a discussion on assertions in Ada 95.  Nick Roberts gave a code example which is used in the section on assertions.

    My appreciation goes out to everyone on the Ada news group comp.lang.ada and the GNAT E-mail group 'chat@gnat.com'.  Both of these groups assisted me with learning to use Ada 95.

    Peter Amey supplied me with information about the SPARK Ada subset and its capability to perform assertions.
 

Go to the Table of Contents