tware CorporationDevelopment system with application browser user interfaceUS6266665Nov 13, 1998Jul 24, 2001Microsoft CorporationIndexing and searching across multiple sorted arraysUS6275976Feb 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 specificatio