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=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 24 Sep 93 20:38:30 GMT
From: dale.ksc.nasa.gov!gperez@ames.arc.nasa.gov  (Gus Perez)
Subject: Automated code inspection tools
Message-ID: <1993Sep24.203830.27107@dale.ksc.nasa.gov>
List-Id: <comp.lang.ada>

Harris Space Systems Corp. has put together a process team to determine 
whether/how Commercial-off-the-shelf automated code inspection tools can
improve the productivity and quality of their ADA code developement.  We need
to identify and evaluate candidate tools, and perform cost/benenfit 
analyses.

We have evaluated one such tool called AdaMat.  We liked what this tool
had to offer, yet we need some other candidates to compare AdaMat with.

We would appreciate any information on additional tools that anyone may be
aware of.  If possible, we would like the name of the tool, the name of the
maker, and a point of contact at the maker's location (email or phone).

Thanks very much,

==============================================================
       H A R R I S   S P A C E   S Y S T E M S   C O R P.

  Gus Perez-Poveda           gperez%core1@kssib.ksc.nasa.gov
  Software Engineer          (407) 633-3818 or 3800

==============================================================