Logische und Methodische Grundlagen der Entwicklung verteilter Systeme