k 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 specificationsUS6275983 *Aug 26, 1998Aug 14, 2001Object Technology Licensing Corp.Object-oriented operating systemUS6304893Jul 1, 1996Oct 16, 2001Sun Microsystems, Inc.Object-oriented s