Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!munnari.oz.au!sirius.ucs.adelaide.edu.au!fang!itd.dsto.oz!rxv
From: rxv@itd.dsto.oz (Rudi Vernik)
Newsgroups: comp.software-eng
Subject: Software Analysis Tools
Message-ID: <571@fang.dsto.oz>
Date: 3 Jan 90 18:54:08 GMT
Sender: news@fang.dsto.oz
Reply-To: rxv@itd.dsto.oz (Rudi Vernik)
Organization: Defence Science and Technology Organisation
Lines: 16

We are interested in information on software analysis and measurement tools for
C, Pascal, and Ada. In particular, we would like information on Re-Spec
from Software Products and Services (New York) which provides a formal analysis
of existing FORTRAN or Pascal code.  We would appreciate any information that
could be provided on Re-Spec or on other similar tools.

Thanks,

Rudi Vernik

Software Engineering Group
Electronics Research Laboratories
Defence Science and Technology Organisation
PO Box 1600
Salisbury SA 5108
Australia