tically generated objects within extensible object frameworks and links to enterprise resourcesUS6275976Feb 25, 1997Aug 14, 2001Joseph M. ScanduraAutomated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6289502Mar 30, 1998Sep 11, 2001Massachusetts Institute Of TechnologyModel-based so