. . "Joseph M. ScanduraAutomated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS638948320 Nov 199714 May 2002Telefonaktiebolaget L M Ericsson (Publ)System and method for reducing coupling between modules in a telecommunications environmentUS6560774 *1 Sep 19996 May 2003Microsoft Corporatio" . .