*Nov 5, 1998Apr 10, 2001Institute For Research On LearningSimulating work behaviorUS6275976 *Feb 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 specificationsUS6412020 *Jun 16, 1998Jun 25, 2002Microsoft CorporationMethod and system for aggregating objec