omated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6279149 *Sep 24, 1998Aug 21, 2001International Business Machines CorporationAggregate structure identification and its application to program analysisUS6311320Dec 7, 1998Oct 30, 2001Lsi Logic CorporationAlterable scripting tool and