building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6289380Sep 27, 1999Sep 11, 2001Computer Associates Think, Inc.Network management system using virtual reality techniques to display and simulate navigation to network componentsUS6289382Aug 31, 1999Sep 11, 2001Andersen Consulting, LlpSystem, method