d method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6351843 *Aug 31, 1998Feb 26, 2002International Business Machines CorporationDynamically inserting a function into an application executable at runtimeUS6415435 *Mar 18, 1999Jul 2, 2002International Business Machines CorporationMethod an