From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 3 Nov 92 23:14:19 GMT
From: 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)
Subject: WANTED : ADA Lib source and docs for Cert
Message-ID: <3635@news.cerf.net>
List-Id: <comp.lang.ada>

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"