From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,29af4a86145ffc16
X-Google-Attributes: gid103376,public
X-Google-Thread: fcb4e,29af4a86145ffc16
X-Google-Attributes: gidfcb4e,public
X-Google-Thread: f43e6,29af4a86145ffc16
X-Google-Attributes: gidf43e6,public
From: cm@mihalis.demon.co.uk (Chris Morgan)
Subject: Re: Standard enforcement tool for ADA ?
Date: 1996/08/05
Message-ID: <m2wwzdh6sc.fsf@mihalis.demon.co.uk>#1/1
X-Deja-AN: 172309442
x-nntp-posting-host: baesema5.demon.co.uk
sender: cm@mihalis.demon.co.uk
references: <3205f43c.622870820@news.pratique.fr>
organization: At Home
newsgroups: comp.lang.ada,comp.software-eng,comp.software.measurement
Date: 1996-08-05T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <3205f43c.622870820@news.pratique.fr> skatossk@pratique.fr
(Stan Katossky) writes:

   I am looking for a CASE tool for ADA code quality assesment, and more
   specifically, programming standards enforcement verification.
   I have been searching on the Internet for a while for such tool, but I
   couldn't find anything relevant.
   Can someone provide me with some references about that ?

I have some experience with Ada-ASSURED which does exactly what you
describe and much more besides. I think you should drop an e-mail to
jeff@grammatech.com (their marketing man) for more info. I will send
you more information by e-mail, if you wish, on my evaluation of
it. It's a good tool and they just released the latest version which
integrates nicely with a wide variety of compilers (e.g. VADS, GNAT,
RISCAda as I rememvber amonst others).

It also does pretty-printing to a high standard (including PS output).

Let me know if you want more info.

Chris Morgan

chris.morgan@baesema.co.uk