rxv@itd.dsto.oz (Rudi Vernik) (01/04/90)
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