1. Bearbeitet werden Verfahren für den Entwurf verteilter und parallel arbei-tender Strukturen sowie für die automatische Entwurfsverbesserung, die Verifikation und den Test entworfener Strukturen. ( Quelle: Jahresbericht DFG 1995）