es of independent partsUS6275976Feb 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 specificationsUS6292810 *Mar 3, 1998Sep 18, 2001Richard Steele RichardsPolymorphic enhanced modelingUS6366300 *Mar 10, 1998Apr 2, 2002Mitsubishi Denki Kabushiki KaishaVis