Die vorliegende Arbeit befasst sich vornehmlich mit zwei bisher nicht behandelten Aufgabenstellungen aus dem Bereich der mehrdimensionalen Wellendigitalfilter. Zum einen mit der systematischen Erzeugung von Simulations-Algorithmen, ausgehend von einem System linearer, konstanter partieller Differentialgleichungen. Den zweiten bildet der Nachweis der Korrektheit des verwendeten Programmcodes, der die Simulations-Algorithmen implementiert.