<http://webisa.webdatacommons.org/prov/99805592>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/105462240> .
<http://webisa.webdatacommons.org/105462240>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<google.com> .
<http://webisa.webdatacommons.org/105462240>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .
<http://webisa.webdatacommons.org/105462240>	<http://www.w3.org/ns/prov#value>	"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" .