Title: Logische und Methodische Grundlagen der Entwicklung Verteilter Systeme