WANTED : ADA Lib source and docs for Cert

[sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!usc !news!nic.cerf.net!demesan@ames.arc.nasa.gov (Nick DeMesa)]

I am in the process of creating a series of CASE tools.
One of the important goals of this software is to be able
to verify documentation to code.

I would appreciate any ADA package libraries with documentation 
that I could use to test the software.

It would be nice of the documentation included diagrams in
a PCTE style database format. You may use any standard but
include a description of the standard. 

I will gladly sign any level of non desclosure. The owners of
the libraries will be contacted before any infor about the librarys
is published.


Nick DeMesa                                  nick@kauaisf.infoserv.com
Senior Software Process Engineer             demesan@nic.cerf.net
---------------------------------------------------------
"This is the final task I will ever give you, and it goes on forever.
Act happy, feel happy, be happy, without a reason in the world. Then
you can love, and do what you will."
-- Dan Millman, "Way Of The Peaceful Warrior"