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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c56a86f3a4e16d06 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-11-25 22:27:18 PST Path: supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!freenix!enst!enst.fr!not-for-mail From: rasser@ddf.dk Newsgroups: comp.lang.ada Subject: Re: Does anyone use Anna? Date: Sun, 26 Nov 2000 06:30:33 GMT Organization: ENST, France Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Trace: menuisier.enst.fr 975220036 753 137.194.161.2 (26 Nov 2000 06:27:16 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: 26 Nov 2000 06:27:16 GMT To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: Lotus Notes Release 5.0 (Intl) 30 March 1999 X-Priority: 3 (Normal) X-MIMETrack: Serialize by Idle on =?iso-8859-1?q?S=F8ren?= Henssel-Rasmussen/BSC/SEM(Release 5.0 (Intl)|30 March 1999) at 26-11-2000 07: 30:49, Serialize complete at 26-11-2000 07: 30:49 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0beta5 Precedence: bulk List-Id: comp.lang.ada mail<->news gateway Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: supernews.google.com comp.lang.ada:2418 Date: 2000-11-26T06:27:16+00:00 JF Harrison, I have used it on a personal basis, but I do not think that it has been used much outside academia circles. The documentation (see link below) is good but the source is Ada 83 based, so it needs some or a lot of rework to be Ada 95 based. If you intend to start something up on ANNA maybe David Botton could add you to the Lab projects mailto:lab@AdaPower.com regards /soren Misc pointers - you should be able to find the referenced book online (as postscript files) here... SEI report => http://www.sei.cmu.edu/publications/documents/91.reports/91.tr.001.html The Stanford tools => http://pavg.stanford.edu/ The ANNA tools => ftp://pavg.stanford.edu/pub/anna/