un Microsystems, Inc.Object-oriented system, method and article of manufacture for a client-server-centric interprise computing framework systemUS6275976Feb 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 specificationsUS6298476Dec 4, 1995Oct 2, 2001Inte