Re: Standard enforcement tool for ADA ?

[cm@mihalis.demon.co.uk (Chris Morgan)]

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